One-unambiguity of regular expressions with numeric occurrence indicators Fulltext Access 27 Pages 2007
Fast computation of spatial selections and joins using graphics hardware Fulltext Access 28 Pages 2007
An efficient location update mechanism for continuous queries over moving objects Fulltext Access 28 Pages 2007
Control of discrete-event systems with modular or distributed structure Fulltext Access 28 Pages 2007
Towards a dichotomy theorem for the counting constraint satisfaction problem Fulltext Access 28 Pages 2007
Asymptotic expected number of base pairs in optimal secondary structure for random RNA using the Nussinov–Jacobson energy model Fulltext Access 29 Pages 2007
A calculus for parallel computations over multidimensional dense arrays Fulltext Access 29 Pages 2007
Learning languages from positive data and a limited number of short counterexamples Fulltext Access 29 Pages 2007
Computational properties of argument systems satisfying graph-theoretic constraints Fulltext Access 29 Pages 2007
Selective strictness and parametricity in structural operational semantics, inequationally Fulltext Access 29 Pages 2007
Modelling nonlinear count time series with local mixtures of Poisson autoregressions Fulltext Access 29 Pages 2007
A compositional natural semantics and Hoare logic for low-level languages Fulltext Access 30 Pages 2007
Optimality and condensing of information flow through linear refinement Fulltext Access 30 Pages 2007
A representation independent language for planar spatial databases with Euclidean distance Fulltext Access 30 Pages 2007
An equational logic based approach to the security problem against inference attacks on object-oriented databases Fulltext Access 30 Pages 2007
Exploring the state sequence space for hidden Markov and semi-Markov chains Fulltext Access 31 Pages 2007
Hybrid commitments and their applications to zero-knowledge proof systems Fulltext Access 32 Pages 2007
Analyzing the environment structure of higher-order languages using frame strings Fulltext Access 32 Pages 2007
CILIOS: Connectionist inductive learning and inter-ontology similarities for recommending information agents Fulltext Access 33 Pages 2007
A syntactic correspondence between context-sensitive calculi and abstract machines Fulltext Access 33 Pages 2007
An algorithm for distributing coalitional value calculations among cooperating agents Fulltext Access 33 Pages 2007
On the minimization of XML Schemas and tree automata for unranked trees Fulltext Access 34 Pages 2007
Universality and semicomputability for nondeterministic programming languages over abstract algebras Fulltext Access 35 Pages 2007