Optimal Sokoban solving using pattern databases with specific domain knowledge Fulltext Access 19 Pages 2015
Clustering binary cube dimensions to compute relaxed GROUP BY aggregations Fulltext Access 19 Pages 2015
A type-safe embedding of SQL into Java using the extensible compiler framework J% Fulltext Access 20 Pages 2015
SARP: A dynamically readjustable period size proactive routing protocol for MANETs Fulltext Access 20 Pages 2015
CrowdPulse: A framework for real-time semantic analysis of social streams Fulltext Access 20 Pages 2015
EMF-IncQuery: An integrated development environment for live model queries Fulltext Access 20 Pages 2015
Analysis of diversity mechanisms for optimisation in dynamic environments with low frequencies of change Fulltext Access 20 Pages 2015
Optimizing linear functions with the (1+λ)(1+λ) evolutionary algorithm—Different asymptotic runtimes for different instances Fulltext Access 21 Pages 2015
Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system Fulltext Access 21 Pages 2015
Fast segment insertion and incremental construction of constrained Delaunay triangulations Fulltext Access 21 Pages 2015
Tuning small analytics on Big Data: Data partitioning and secondary indexes in the Hadoop ecosystem Fulltext Access 21 Pages 2015
Modelling of nanostructured memristor device characteristics using Artificial Neural Network (ANN) Fulltext Access 21 Pages 2015
A Case Study in Capacity Planning for PEPA Models with the PEPA Eclipse Plug-in Fulltext Access 21 Pages 2015
A variant of kk-nearest neighbors search with cyclically permuted query points for rotation-invariant image processing Fulltext Access 22 Pages 2015
Specifying linked data structures in JML for combining formal verification and testing Fulltext Access 22 Pages 2015
Fast diameter and radius BFS-based computation in (weakly connected) real-world graphs : With an application to the six degrees of separation games Fulltext Access 22 Pages 2015
LP-rounding algorithms for the fault-tolerant facility placement problem Fulltext Access 22 Pages 2015
Type I multivariate zero-inflated Poisson distribution with applications Fulltext Access 23 Pages 2015
Identification of biological regulatory networks from Process Hitting models Fulltext Access 23 Pages 2015
DSML4CP: A Domain-specific Modeling Language for Concurrent Programming Fulltext Access 23 Pages 2015
Bayesian nonparametric estimation of test equating functions with covariates Fulltext Access 23 Pages 2015
Characterizing weighted MSO for trees by branching transitive closure logics Fulltext Access 24 Pages 2015
RoboCup@Home: Analysis and results of evolving competitions for domestic and service robots Fulltext Access 24 Pages 2015
Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony Fulltext Access 24 Pages 2015
A Type-2 Approach in Emotion Recognition and an Extended Type-2 Approach for Emotion Detection Fulltext Access 24 Pages 2015
ContextErlang: A language for distributed context-aware self-adaptive applications Fulltext Access 24 Pages 2015
Towards a verified transformation from AADL to the formal component-based language FIACRE Fulltext Access 24 Pages 2015
Practical domain-specific debuggers using the Moldable Debugger framework Fulltext Access 25 Pages 2015
A use-case for behavioral programming: An architecture in JavaScript and Blockly for interactive applications with cross-cutting scenarios Fulltext Access 25 Pages 2015
MeTAGeM-Trace: Improving trace generation in model transformation by leveraging the role of transformation models Fulltext Access 25 Pages 2015
SIMD parallel MCMC sampling with applications for big-data Bayesian analytics Fulltext Access 25 Pages 2015
μ-Limit sets of cellular automata from a computational complexity perspective Fulltext Access 25 Pages 2015
A semi-supervised learning approach for RNA secondary structure prediction Fulltext Access 25 Pages 2015
Algorithms for scheduling with integer preemptions on parallel machines to minimize the maximum lateness Fulltext Access 26 Pages 2015
Deterministic single exponential time algorithms for connectivity problems parameterized by treewidth Fulltext Access 26 Pages 2015
Fixed point theorems for Boolean networks expressed in terms of forbidden subnetworks Fulltext Access 26 Pages 2015
MIX is a 2-MCFL and the word problem in Z2Z2 is captured by the IO and the OI hierarchies Fulltext Access 26 Pages 2015
Sequential aggregate signatures with short public keys without random oracles Fulltext Access 26 Pages 2015
Collaborative editing of EMF/Ecore meta-models and models: Conflict detection, reconciliation, and merging in DiCoMEF Fulltext Access 26 Pages 2015
A DSL for modeling application-specific functionalities of business applications Fulltext Access 27 Pages 2015
Local confluence analysis of hypergraph transformation systems with application conditions based on MM-functors and Agg Fulltext Access 27 Pages 2015