yusuke1997/dblp-id-title huggingface dataset:
Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language
Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both?
Using Tree Transducers for Grammatical Inference
A Computable Solution to Partee's Temperature Puzzle
Computational Solutions for Structural Constraints
On the Logic of Expansion in Natural Language
Derivational and Representational Views of Minimalist Tranformational Grammar
Learnable Classes of General Combinatory Grammars
Adverbs in a Modern Type Theory
Polarized Classical Non-associative Lambek Calculus and Formal Semantics
Language Games
How to Build Argumental Graphs Using TAG Shared Forest: A View from Control Verbs Problematic
Actuality Entailments: When the Modality is in the Presupposition
Dominance Constraints in Context Unification
Category Theoretical Semantics for Pregroup Grammars
A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations
An Algebraic Approach to French Sentence Structure
The Product-Free Lambek-Grishin Calculus Is NP-Complete
CoTAGs and ACGs
Dot-types and Their Implementation
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) - 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings
A Compositional Distributional Inclusion Hypothesis
Deductive Parsing of Visual Languages
On the Completeness of Lambek Calculus with Respect to Cofinite Language Models
A Polynomial Time Extension of Parallel Multiple Context-Free Grammar
Consistent Identification in the Limit of Any of the Classes k -Valued Is NP-hard
Logical Aspects of Computational Linguistics - 6th International Conference, LACL 2011, Montpellier, France, June 29 - July 1, 2011. Proceedings
Computational and Structural Aspects of Openly Specified Type Hierarchies
Logical Aspects of Computational Linguistics, 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings
Copredication, Quantification and Frames
Do Dialogues Have Content?
An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents
Structural Equations in Language Learning
Categorial Dependency Grammars with Iterated Sequences
A Family of Decidable Feature Logics which Support HPSG-Style Set and List Constructions
Models for Polymorphic Lambek Calculus
A Natural Language Explanation for Formal Proofs
Combinators for Paraconsistent Attitudes
Logical Aspects of Computational Linguistics - 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings
Part of Speech Tagging from a Logical Point of View
Grammatical Development with Xmg
The MSO Logic-Automaton Connection in Linguistics
An Algebraic Approach to Multiple Context-Free Grammars
Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories
Quantitative Constraint Logic Programming for Weighted Grammar Applications
Building PMCFG Parsers as Datalog Program Transformations
Logical Aspects of Computational Linguistics, 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings
Automatic Concepts and Automata-Theoretic Semantics for the Full Lambek Calculus
Semantically Inactive Multiplicatives and Words as Types
On the Selective Lambek Calculus
Lambek-Calculus with General Elimination Rules and Continuation Semantics
Logical Aspects of Computational Linguistics, Third International Conference, LACL'98, Grenoble, France, December 14-16, 1998, Selected Papers
An LTAG Perspective on Categorial Inference
A Compositional Approach Towards Semantic Representation and Construction of ARABIC
Constructing Different Phonological Bracketings from a Proof Net
Language Understanding: A Procedural Perspective
Anaphora and Quantification in Categorial Grammar
Contextual Analysis of Word Meanings in Type-Theoretical Semantics
On Classical Nonassociative Lambek Calculus
Constraint Logic Programming for Computational Linguistics
Polysemy and Coercion - A Frame-Based Approach Using LTAG and Hybrid Logic
On Expressing Vague Quantification and Scalar Implicatures in the Logic of Partial Information
Transforming Linear Context-Free Rewriting Systems into Minimalist Grammars
Semilinearity as a Syntactic Invariant
Optimal Parameters
Abstract Automata and a Normal Form for Categorial Dependency Grammars
XMG 2: Describing Description Languages
Dependency Structure Grammars
A Compositional Semantics for 'If Then' Conditionals
A Linear Logic Treatment of Phrase Structure Grammars for Unbounded Dependencies
Pomset Logic and Variants in Natural Languages
Non-crossing Tree Realizations of Ordered Degree Sequences
An Opterational Model for Parsing Definite Clause Grammars with Infinite Terms
Context Update for Lambdas and Vectors
Compositional Event Semantics in Pregroup Grammars
An ACG View on G-TAG and Its g-Derivation
The Granularity of Meaning in Proof-Theoretic Semantics
Type Reconstruction for \lambda -DRT Applied to Pronoun Resolution
Logical Aspects of Computational Linguistics, Second International Conference, LACL '97, Nancy, France, September 22-24, 1997, Selected Papers
A Characterization of Minimalist Languages
Inessential Features
Towards a Computational Treatment of Binding Theory
Lambek Calculus Proofs and Tree Automata
Representing Anaphora with Dependent Types
Using Logic in the Generation of Referring Expressions
Movement-Generalized Minimalist Grammars
Ludics and Natural Language: First Approaches
Vagueness and Type Theory
Translating Formal Software Specifications to Natural Language
On Mixing Deduction and Substitution in Lambek Categorial Grammars
Hypothetical Reasoning and Basic Non-constituent Coordination in Type-Logical Grammar
Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language
Linear Logic as Logic Programming: An Abstract
Strict Compositionality and Literal Movement Grammars
Minimalist Tree Languages Are Closed Under Intersection with Recognizable Tree Languages
L-Completeness of the Lambek Calculus with the Reversal Operation
A Revision System of Circular Objects and Its Applications to Dynamic Semantics of Dialogues
Strong and Weak Quantifiers in Focused NL C
Implementing Variable Vectors in a CCG Parser
Logical Grammars, Logical Theories
Linguistic Facts as Predicates over Ranges of the Sentence
The Logic of Tune - A Proof-Theoretic Analysis of Intonation
Partial Proof Trees, Resource Sensitive Logics, and Syntactic Constraints
On Dispersed and Choice Iteration in Incrementally Learnable Dependency Types
Lambek Grammars Based on Pregroups
Strict LT 2 : Regular : : Local : Recognizable
Generation as Deduction on Labelled Proof Nets
Logical Aspects of Computational Linguistics - 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings
Proof Assistants for Natural Language Semantics
Optimizing Access Point selection in Wireless Local Area Networks
A comparison between decision trees and decision tree forest models for software development effort estimation
Service oriented specification and study of quality performance attribute
Multi-hop bandwidth reservation in WMN-based IEEE 802.11s (MBRWMN)
Service selection using quality matchmaking
Botnet detection: A cooperative game theoretical correlation-based model
Adaptive encryption using pseudo-noise sequences for medical images
Service Oriented Manager in Grid system
iSensors: A middleware for dynamic sensor networks
MSRR metamaterial-based antenna system for MIMO applications
Accountable energy monitoring for green service routing in the cloud
Balanced energy efficient routing protocol for WSN
Combination of connectors with loosely coupled architecture based on aspect-oriented computing
Low complexity least-square estimator for RSS-based localization in Wireless Sensor Networks
Taking Turns with adaptive cycle time - an upstream media access scheme for extended-reach FTTx
Hierarchical modeling of redundancy and paths in wireless sensor networks
Enhanced Backtracking Chord protocol for mobile Ad hoc networks
Empirical correction of the Okumura-Hata model for the 900 MHz band in Egypt
Tunable multi-wavelength SOA based linear cavity fiber laser source for optical communications applications
Addressing openness and portability in outdoor pervasive role-playing games
3-On-3: A new algorithm for femtocell self organized networks
A new MAC design in LTE for MIMO multiuser schemes
Adaptive Parallel Concatenation Turbo Codes for Wireless Sensor Networks
Effect of hand jitter on video compression algorithms for mobile devices
Failure preventive mechanism for IPsec gateways
Efficient reduced state DDFSE equalizer for 8-PSK EDGE receiver
P2PWeb: A Client/Server and P2P hybrid architecture for content delivery over internet
Hybrid task and message scheduling in hard real time distributed systems over FlexRay bus
Alleviating the effect of the strict avalanche criterion (SAC) of symmetric-key encryption in wireless communication channels
A variational component splitting approach for finite generalized Dirichlet mixture models
Geometric spanners: Recent results and open directions
Failure Prediction based on multi-parameter analysis in support of autonomic networks
Optimizing radio access network selection in WLAN and 3G networks
A Bayesian matching pursuit based scheduling algorithm for feedback reduction in MIMO broadcast channels
On antenna parameters self optimization in LTE cellular networks
Cunetsim: A GPU based simulation testbed for large scale mobile networks
Performance analysis of the Wavelet-OFDM new scheme in AWGN channel
Flower image segmentation based on color analysis and a supervised evaluation
Security model for real time tracking system (RTLS) in the healthcare sector
The state of the art in electroencephalogram and access control
Third International Conference on Communications and Information Technology, ICCIT 2013, Beirut, Lebanon, June 19-21, 2013
A new cluster-based link state routing for mobile ad hoc networks
Enhancing the quality of experience of video streaming in LTE networks using distributed antenna systems
Virtualization of IT infrastructure for small and medium businesses
A Situation Calculus-based semantic framework for UML
A preprocessor Tcl script generator for NS-2 communication network simulation
Cramer-Rao Lower Bounds of NDA SNR estimation for BPSK modulated signals over MISO with STBC channels
Testing of N-stage pipelined ADC using test input regeneration and sliding window techniques
NDA SNR estimation over MISO with STBC channels for BPSK modulated signals using the EM algorithm
Authorship attribution of ancient texts written by ten arabic travelers using a SMO-SVM classifier
Real-Time state-dependent routing based on user perception
Generic evaluation framework for games development methodology
An efficiently secure ECC scalar multiplication method against Power Analysis Attacks on resource constrained devices
A hybrid approach for RAT selection in wireless heterogeneous networks
Implementation of CPA analysis against AES design on FPGA
Performance evaluation of data dissemination in real-world wireless ad hoc networks
Baseline prediction of point of sales data for trade promotion optimization
Improving text categorization: A fully automated ontology based approach
On performance of the Wald test in partially coherent Cognitive Radio channels
Image retrieval based on wavelet sub-bands and fuzzy weighted regions
A frame aggregation scheduler for QoS-sensitive applications in IEEE 802.11n WLANs
Performance analysis of DS-OCDMA using novel multi-level periodic codes
Cloud providers collaboration for a higher service level in cloud computing
I. Improvement of Qos by Dynamic Reallocation of the Mesh Deterministic Access in Wireless Mesh Networks Ieee 802.11s
Joint blind channel estimation for MIMO OFDM systems via nonredundant linear precoding
A bare PC NAT box
A TCP delay-based mechanism for detecting congestion in the Internet
Prototyping and evaluating a tunnel-based solution to circumvent malicious IISP blocking
A learning-based approach for network selection in WLAN/3G heterogeneous network
Closed-form expression for outage probability in relay-based cooperative diversity systems over Rayleigh fading channels with interference
On sensor selection in mobile devices based on energy, application accuracy, and context metrics
Maximizing TCP throughput in OBS networks
Green virtual desktop: Design and operation
Probability Collectives using Response Surface estimation
Data transmission using time reversal technique - Results of reverberating chamber measurements
Minimum Bit Error Rate beamforming combined with Space-Time Block Coding
On the inverse-Gaussian shadowing
USRP2 implementation of compressive sensing based channel estimation in OFDM
NeBuST: Low-latency congested sensor data transmission protocol
Multi-criteria Vertical Handover by TOPSIS and fuzzy logic
Priority based routing protocol with reliability enhancement in Vehicular Ad hoc Network
Bandwidth and consumption controller algorithms for solar-powered base stations
On the BEP performance of binary noncoherent modulation schemes in frequency-nonselective M2M double Hoyt fading channels
Evaluating the QoS of WLANs for the IEEE 802.11 EDCF in real-time applications
Exploiting fuzzy reasoning optimized by Particle Swarm Optimization and adaptive thresholding to diagnose multiple faults in dynamic hybrid systems
Improving the quality of service routing in OLSR protocol
Tuning IEEE 802.11e for wireless mesh networks
True Cramer-Rao lower bound for NDA carrier frequency estimation from general M-QAM modulated signals over flat Rayleigh fading channel
Internal security attacks on SCADA systems
A novel high utilization idle time free dynamic bandwidth allocation algorithm in EPON
Reduced-reference quality assessment of computer-generated images based on RVM
Throughput maximization and network-wide service differentiation for IEEE802.11e WLAN
On the detection and estimation of correlated signal using circular antenna arrays
Impact of sensing errors on the queueing delay and transmit power in cognitive radio access
Planar bandpass filter for ultrawideband communication systems
On the roots of Daubechies polynomials for Biorthogonal wavelets
A dynamic faulty node detection scheme using adaptive sleep scheduling for wireless sensor networks that employ data aggregation
Discovering new technique for mapping relational database based on semantic web technology
Integrating pressure and accelerometer sensing for improved activity recognition on smartphones
Sequential spectrum sensing based on higher-order statistics for cognitive radios
An improved iterative decoding method for LDPC coded CPM systems in Rayleigh fading channel
Joint CFO and time-varying channel estimation by particle filtering in OFDM systems
Transmit beamforming techniques for space-frequency coded MIMO-OFDM systems in a correlated Ricean fading channel
Design of interleaved sequences for joint channel estimation and PAPR reduction
Maximizing the signal to leakage ratio in downlink cellular networks
The Italian Sign Language Sign Bank: Using WordNet for Sign Language corpus creation
A new distributed decision making scheme for the IEEE 802.15.3 Parent/Child model
A novel bandwidth efficient modulation scheme for asynchronous OCDMA with projected PIC multiuser detection
Planar array antenna for ultra wideband microwave imaging system
Accelerating with 512-bit SIMD : A case study for molecular dynamics simulation on Intel's Knights Corner
TRASA: Traffic aware slot assignment algorithm in wireless sensor networks
Arabic morphological analyzer with text to voice
International Conference on Communications and Information Technology, ICCIT 2011, Aqaba, Jordan, March 29-31, 2011
Using disparity map for directional adaptive lifting scheme for stereo image residuals
Out of samples extensions for SC-LLE, new nonlinear dimensionality reduction algorithm
Visual management of workflows in web development frameworks
On the capacity and spatial fairness trade-off in planning sectorization and frequency reuse
TPC-H benchmarking of Pig Latin on a Hadoop cluster
Current issues in handheld augmented reality
Securing modbus transactions using hash-based message authentication codes and stream transmission control protocol
A new vertical handover decision based context awareness for ubiquitous access
A performance study of mobile nodes in a Wireless Sensor Network
Towards a formal description of mobile personalized assessment
Opportunities and obstacles for mobile learning in a Business School
Reliable broadcasting in VANETs using Physical-Layer Network Coding
Internet-controlled dynamic reconfiguration for FPGA-based embedded systems
Routing coded messages in wireless networks
Open Source development: Examining bugs reporting activity among mozilla community participants
Quality of Service performance of the Best-M OFDMA feedback strategy
The impact of the speaker's state on speech recognition
Efficient ICI reduction technique for OFDM systems distorted by TWTA and CFO
Al-Baseet: A proposed simplification authoring tool for the Arabic language
A methodological approach for modeling supply chain management
A survey on mobile tourism Recommender Systems
Energy analysis of network coding in hard vertical handovers
On a dynamic model of cognitive radio systems
Low overhead anonymous routing
Architecture of mobile node in heterogeneous networks
A low complexity fine timing offset and channel estimation algorithm for cooperative diversity OFDM system
Improving QoS for UGS, rtPS, nrtPS, BE in WIMAX networks
On assessment of brain function adaptability in Open Learning systems using Neural Networks modeling (cognitive styles approach)
Ranked overlapping coverage based construction of efficient neighboring cell list for GSM/UMTS cellular networks
Interpreting inter-organizational information technology networks: A chaos theory approach
Learning system for mobile robot detection and tracking
Greedy spectrum sharing for cognitive MIMO networks
The design of a collaboration-oriented serious game
Game theory for contracts establishment with guaranteed QoS in the interdomain network
New multi access selection method using differentiated weight of access interface
A trust-based architecture for managing certificates in vehicular ad hoc networks
Cognitive radios power control game under Rayleigh slow fading channel
CROWN: Discovering and consuming services in vehicular clouds
The second-order derivatives of MFCC for improving spoken Arabic digits recognition using Tree distributions approximation model and HMMs
Opportunistic relaying in ad-hoc networks for throughput improvement
Doppler and angular spreads estimation using the derivatives of the cross-correlation functions
A trust model for a multi-agent negotiation
Case study: Impacts on information systems governance, agility and strategic flexibility of simultaneous implementation of several process approaches
Flexible and efficient architecture design for MIMO MMSE-IC linear turbo-equalization
Truncated singular value decomposition for semantic-based data retrieval
WiMax: Cross layer bandwidth allocation Strict Priority Based Adaptive Modulation and Coding
HEERP: Hierarchical energy efficient routing protocol for Wireless Sensor Networks
Sharpening the limits of the zeros of Daubechies wavelets related polynomials
dmin-based precoder applied to non-binary LDPC coded MIMO system
An enterprise architecture mapping approach for realizing e-government
PEMONAS: Passive Ethernet traffic MONitoring and AnalySis system
Perisikan: An intelligent framework for social network data analysis
Real-time radio emulation environment for combat net radio networks
A hybrid Cramér-Rao bound for the channel estimation of non-orthogonal, disintegrated, amplify-and-forward cooperative OFDM systems
Isolating failing test cases: A comparative experimental study of clustering techniques
Parallel edge detection based on digital differentiator approximation
Wavelets polynomials and associated zeros locations
Path coverage testing in the cloud
Multi-carrier frequency-offset estimation based on MUSIC for carrier-aggregation orthogonal frequency-division multiplexing communications
A novel stochastic geometrical model for wideband MIMO-V2V channels
A study of information security awareness and practices in Saudi Arabia
Analysis of a cooperative and coalition formation game model among energy consumers in the Smart Grid
Enhanced Slotted ALOHA protocol with collision processing and relay cooperation
Navigation system based DTN routing in sparse vehicular networks
Minimizing bandwidth on peering links with deflection in named data networking
Critical infrastructure protection: A 21 st century challenge
Energy efficiency performance of WiFi/WiMedia relaying in hybrid ad-hoc networks
Efficient Zone-based Routing Protocol of Sensor Network in agriculture monitoring systems
On the scalability of wireless multi-hop broadcast protocols with respect to density in VANET
On the interference suppression capabilities of cognitive enabled femto cellular networks
Prioritized radio resource management in WiMax networks
TRAM: An approach for assigning bug reports using their Metadata
Relational universal index structure for evaluating XML twig queries
A client-based QoS approach using generalized extreme value theorem in multi-hop network environments
Statistical analysis-based approach for check node processor inputs of NB-LDPC decoder
Downstream bandwidth allocation scheme in local access over a distributed control plane
A transport layer interoperability model for mobile ad-hoc environment
An enhanced Neural Network Ensemble for automatic sleep scoring
Performance evaluation on dynamic dual layer beamforming transmission in TDD LTE system
Analyzing the performance of centralized polling for long-reach passive optical networks
Towards improving machine translation using user generated content
Business intelligence solutions in healthcare a case study: Transforming OLTP system to BI solution
Evaluating the usability of nine Jordanian university websites
Neural networks for the detection and localization of breast cancer
Sequential routing game on the line: Transmit or relay?
Dynamic superframe size-based admission control in parent/child HR WPANs
Software project effort: Different methods of estimation
Design and implement connectors in distributed system
On the design of coded MIMO systems
Fault-tolerance capabilities of a software-implemented Hopfield Neural Network
Combinatorial method of performance calculation in Gilbert-Elliott channels
A resource reservation attack against LTE networks
International Conference on Communications and Information Technology, ICCIT 2012, Hammamet, Tunisia, June 26-28, 2012
A hybrid filter for image despeckling with wavelet-based denoising and spatial filtering
Cryptographic vulnerabilities in real-life web servers
Fairness enhancement using transmission scheduling in multi-hop wireless mesh networks
A visual system for automatically recommending alternative link structures for web pages
A Network-Controlled Approach for the Timely and Reliable Acquisition of Bursty Data in WMSNs
Optimized Analytics Query Allocation at the Edge of the Network
Temporal-Variation-Aware Profit-Maximized and Delay-Bounded Task Scheduling in Green Data Center
Tools for Ontology Matching - Practical Considerations from INTER-IoT Perspective
Underground Intelligent Logistic System Integrated with Internet of Things
Consistent Management of Context Information in Ubiquitous Systems
On Action Permutation and Progress for Partially Commutative Asynchronous Binary Sessions
Smart Nutrition Monitoring System Using Heterogeneous Internet of Things Platform
Using Human-Centric Wireless Sensor Networks to Support Personal Security
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines
SDNFV-Based Routing Service Composition Model
Dilated Deep Residual Network for Post-processing in TPG Based Image Coding
A Model-Driven Service Integrated Framework Based on Three-Layer Ontology
Distributed Algorithms for the Creation of a New Distributed IDS in MANETs
SwimSense: Monitoring Swimming Motion Using Body Sensor Networks
Semantic Representation of Cloud Services: A Case Study for Openstack
Issues and Concerns: Record Management in Cloud Service of Technology