Space-efficient representations of rectangle datasets supporting orthogonal range querying Fulltext Access 21 Pages 2013
A meta-model for dataflow-based rules in smart environments: Evaluating user comprehension and performance Fulltext Access 21 Pages 2013
Viewing functions as token sequences to highlight similarities in source code Fulltext Access 21 Pages 2013
Verification of Model Transformations: A Survey of the State-of-the-Art Fulltext Access 21 Pages 2013
Stable graphical model estimation with Random Forests for discrete, continuous, and mixed variables Fulltext Access 21 Pages 2013
Linear programming in the semi-streaming model with application to the maximum matching problem Fulltext Access 21 Pages 2013
A data-mining approach to preference-based data ranking founded on contextual information Fulltext Access 21 Pages 2013
On the definition and design-time analysis of process performance indicators Fulltext Access 21 Pages 2013
Efficient processing of probabilistic group subspace skyline queries in uncertain databases Fulltext Access 21 Pages 2013
Efficient genetic based topological mapping using analytical models for on-chip networks Fulltext Access 22 Pages 2013
Maximal strip recovery problem with gaps: Hardness and approximation algorithms Fulltext Access 22 Pages 2013
Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs Fulltext Access 22 Pages 2013
The language of plain SO-tgds: Composition, inversion and structural properties Fulltext Access 22 Pages 2013
An application-level technique based on recursive hierarchical state machines for agent execution state capture Fulltext Access 22 Pages 2013
Incremental construction of systems: An efficient characterization of the lacking sub-system Fulltext Access 22 Pages 2013
Optimal random matchings, tours, and spanning trees in hierarchically separated trees Fulltext Access 22 Pages 2013
Abstract interpretation of microcontroller code: Intervals meet congruences Fulltext Access 22 Pages 2013
Four one-shot learners for regular tree languages and their polynomial characterizability Fulltext Access 22 Pages 2013
A new exponential-type distribution with constant, decreasing, increasing, upside-down bathtub and bathtub-shaped failure rate function Fulltext Access 22 Pages 2013
Temporal contexts: Effective text classification in evolving document collections Fulltext Access 22 Pages 2013
Ordinal theory for expressiveness of well-structured transition systems Fulltext Access 22 Pages 2013
CARVE: Context-aware automatic view definition over relational databases Fulltext Access 23 Pages 2013
On the conditional independence implication problem: A lattice-theoretic approach Fulltext Access 23 Pages 2013
Probabilistic filters: A stream protocol for continuous probabilistic queries Fulltext Access 23 Pages 2013
Automatic synthesis of switching controllers for linear hybrid systems: Safety control Fulltext Access 23 Pages 2013
Modeling information exchange opportunities for effective human–computer teamwork Fulltext Access 23 Pages 2013
GPGCD: An iterative method for calculating approximate GCD of univariate polynomials Fulltext Access 23 Pages 2013
A hybrid approach for resource-based comparison of adaptable Java applications Fulltext Access 23 Pages 2013
Approximation Metrics Based on Probabilistic Bisimulations for General State-Space Markov Processes: A Survey Fulltext Access 23 Pages 2013
Continuity of Gödelʼs System T Definable Functionals via Effectful Forcing Fulltext Access 23 Pages 2013
A super-stabilizing log(n)log(n)-approximation algorithm for dynamic Steiner trees Fulltext Access 23 Pages 2013
Adaptive service provisioning for enhanced energy efficiency and flexibility in wireless sensor networks Fulltext Access 23 Pages 2013
A specialized branch & bound & cut for Single-Allocation Ordered Median Hub Location problems Fulltext Access 23 Pages 2013
Two efficient algorithms for computing the characteristics of a subsegment of a digital straight line Fulltext Access 23 Pages 2013
Elimination of parallel copies using code motion on data dependence graphs Fulltext Access 23 Pages 2013
Logistic regression with outcome and covariates missing separately or simultaneously Fulltext Access 23 Pages 2013