: Intensional RDB Manifesto: a Unifying NewSQL Model for Flexible Big Data.
: Tractable Epistemic Reasoning with Functional Fluents, Static Causal Laws and Postdiction.
: Dynamic Decision Process Modeling and Relation-line Handling in Distributed Cooperative Modeling System.
: TBX goes TEI - Implementing a TBX basic extension for the Text Encoding Initiative guidelines.
, K. Saravanan
: Semantic Annotation and Search for Educational Resources Supporting Distance Learning.
: A Solution to Bargaining Problem on Divisible Goods.
: Automatic generation of logical specifications for context-aware systems.
: Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction.
Vincenzo De Florio
: On the Behavioral Interpretation of System-Environment Fit and Auto-Resilience.
: Verbesserung von OS- und Service-Fingerprinting mittels Fuzzing.
: Algebraic Properties of Valued Constraint Satisfaction Problem.
, Mark H. Karwan
: Limits to the scope of applicability of extended formulations for LP models of combinatorial optimization problems: A summary.
Josiah P. Zayner
: We Tweet Like We Talk and Other Interesting Observations: An Analysis of English Communication Modalities.
: Representing, reasoning and answering questions about biological pathways - various applications.
: The Obvious Solution to Semantic Mapping - Ask an Expert.
: Evaluating Dynamic Linking through the Query Process using the Licas Test Platform.
: Clustering Concept Chains from Ordered Data without Path Descriptions.
: A Metric for Modelling and Measuring Complex Behavioural Systems.
: Dynamic Move Chains - a Forward Pruning Approach to Tree Search in Computer Chess.
, Chris Brew
, Michael Heilman
, Ramon Ziai
, Lei Chen
, Aoife Cahill
, Michael Flor
, Nitin Madnani
, Joel R. Tetreault
, Daniel Blanchard
, Diane Napolitano
, Chong Min Lee
, John Blackmore
: Is getting the right answer just about choosing the right words? The role of syntactically-informed features in short answer scoring.
, Simin You
: Large-Scale Geospatial Processing on Multi-Core and Many-Core Processors: Evaluations on CPUs, GPUs and MICs.
, Su-Jin Lee
: A Potential Game Approach for Information-Maximizing Cooperative Planning of Sensor Networks.
, Pavan K. Turaga
: Geometry-based Adaptive Symbolic Approximation for Fast Sequence Matching on Manifolds: Applications to Activity Analysis.
: A Linear Category of Polynomial Functors (extensional part).
: An Extension Of Weiler-Atherton Algorithm To Cope With The Self-intersecting Polygon.
: Algorithmic Verification of Continuous and Hybrid Systems. 48-69
: Artificial Neuron Modelling Based on Wave Shape.
: Signal Estimation from Nonuniform Samples with RMS Error Bound - Application to OFDM Channel Estimation.
: Analyzing a practitioner perspective on relevance of published empirical research in Requirements Engineering.