A selective dynamic compiler for embedded Java virtual machines targeting ARM processors Fulltext Access 26 Pages 2006
Towards imperative modules: Reasoning about invariants and sharing of mutable state Fulltext Access 26 Pages 2006
Testing against a non-controllable stream X-machine using state counting Fulltext Access 26 Pages 2006
Fuzzy unsupervised classification of multivariate time trajectories with the Shannon entropy regularization Fulltext Access 26 Pages 2006
PeCAN: An architecture for users’ privacy-aware electronic commerce contexts on the semantic web Fulltext Access 26 Pages 2006
A stabilized column generation scheme for the traveling salesman subtour problem Fulltext Access 27 Pages 2006
Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms Fulltext Access 27 Pages 2006
Practical Datatype Specializations with Phantom Types and Recursion Schemes Fulltext Access 27 Pages 2006
Tailorable language for behavioral composition and configuration of software components Fulltext Access 27 Pages 2006
Towards Hilbert's 24th Problem: Combinatorial Proof Invariants: (Preliminary version) Fulltext Access 27 Pages 2006
Bandwidth selection for a class of difference-based variance estimators in the nonparametric regression: A possible approach Fulltext Access 27 Pages 2006
A corrected Akaike criterion based on Kullback's symmetric divergence: applications in time series, multiple and multivariate regression Fulltext Access 27 Pages 2006
Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus Fulltext Access 27 Pages 2006
Fuzzy clusterwise linear regression analysis with symmetrical fuzzy output variable Fulltext Access 27 Pages 2006
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems Fulltext Access 27 Pages 2006
Ordered term tree languages which are polynomial time inductively inferable from positive data Fulltext Access 28 Pages 2006
Constraint-based optimization and utility elicitation using the minimax decision criterion Fulltext Access 28 Pages 2006
Name-passing in an ambient-like calculus and its proof using spatial logic Fulltext Access 28 Pages 2006
Sequential and parallel algorithms for the NCA problem on pure pointer machines Fulltext Access 28 Pages 2006
A synthesis of canonical variate analysis, generalised canonical correlation and Procrustes analysis Fulltext Access 28 Pages 2006
Variables as Resource for Shared-Memory Programs: Semantics and Soundness Fulltext Access 28 Pages 2006
Differential evolution and particle swarm optimisation in partitional clustering Fulltext Access 28 Pages 2006
Exact maximum likelihood estimation of structured or unit root multivariate time series models Fulltext Access 29 Pages 2006
Complexity of reachability problems for finite discrete dynamical systems Fulltext Access 29 Pages 2006
Deciding implication for functional dependencies in complex-value databases Fulltext Access 29 Pages 2006
ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter Fulltext Access 29 Pages 2006
Distance and routing labeling schemes for non-positively curved plane graphs Fulltext Access 29 Pages 2006
Towards semantic-driven, flexible and scalable framework for peering and querying e-catalog communities Fulltext Access 29 Pages 2006
GS-distributions: A new family of distributions for continuous unimodal variables Fulltext Access 30 Pages 2006