Maximum trimmed likelihood estimator for multivariate mixed continuous and categorical data Fulltext Access 24 Pages 2008
Comparison and analysis of ten static heuristics-based Internet data replication techniques Fulltext Access 24 Pages 2008
A network approach for specially structured linear programs arising in 0–1 quadratic optimization Fulltext Access 24 Pages 2008
A new approach to estimating the expected first hitting time of evolutionary algorithms Fulltext Access 24 Pages 2008
Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions Fulltext Access 24 Pages 2008
Topological analysis of AOCD-based agent networks and experimental results Fulltext Access 24 Pages 2008
The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study Fulltext Access 24 Pages 2008
Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time Fulltext Access 24 Pages 2008
On the completeness of orientation rules for causal discovery in the presence of latent confounders and selection bias Fulltext Access 24 Pages 2008
DFL: A dataflow language based on Petri nets and nested relational calculus Fulltext Access 24 Pages 2008
Partial characterizations of clique-perfect graphs I: Subclasses of claw-free graphs Fulltext Access 25 Pages 2008
Automatic scoring of short handwritten essays in reading comprehension tests Fulltext Access 25 Pages 2008
Integration of complex archeology digital libraries: An ETANA-DL experience Fulltext Access 25 Pages 2008
Uncertainty propagation: Avoiding the expensive sampling process for real-time image-based measurements Fulltext Access 25 Pages 2008
Inconsistency tolerance in P2P data integration: An epistemic logic approach Fulltext Access 25 Pages 2008
Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools Fulltext Access 26 Pages 2008
On the Approximation of Correlation Clustering and Consensus Clustering Fulltext Access 26 Pages 2008
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus Fulltext Access 26 Pages 2008
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System Fulltext Access 26 Pages 2008
On the power transformation of kernel-based tests for serial correlation in vector time series: Some finite sample results and a comparison with the bootstrap Fulltext Access 26 Pages 2008
Computability of the Spectrum of Self-Adjoint Operators and the Computable Operational Calculus Fulltext Access 26 Pages 2008
Heuristics for planning with penalties and rewards formulated in logic and computed through circuits Fulltext Access 26 Pages 2008
Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof Fulltext Access 27 Pages 2008
From conceptual models to schemata: An object-process-based data warehouse construction method Fulltext Access 27 Pages 2008
Interacting sequential Monte Carlo samplers for trans-dimensional simulation Fulltext Access 27 Pages 2008
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems Fulltext Access 27 Pages 2008
Nash equilibria in discrete routing games with convex latency functions Fulltext Access 27 Pages 2008
Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method Fulltext Access 28 Pages 2008
Imprecise probability trees: Bridging two theories of imprecise probability Fulltext Access 28 Pages 2008
The complexity and approximation of fixing numerical attributes in databases under integrity constraints Fulltext Access 28 Pages 2008
Efficient algorithms and methods to solve dynamic MINs stability problem using stable matching with complete ties Fulltext Access 28 Pages 2008