Hierarchical clustering of continuous variables based on the empirical copula process and permutation linkages Fulltext Access 19 Pages 2010
Extending object-oriented languages with backward error recovery integrated support Fulltext Access 19 Pages 2010
An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics Fulltext Access 19 Pages 2010
Query performance evaluation of an architecture for fine-grained integration of heterogeneous grid data sources Fulltext Access 19 Pages 2010
Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL Fulltext Access 19 Pages 2010
Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map Fulltext Access 19 Pages 2010
A robust segment/triangle intersection algorithm for interference tests. Efficiency study Fulltext Access 19 Pages 2010
Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces Fulltext Access 20 Pages 2010
Component simulation-based substitutivity managing QoS and composition issues Fulltext Access 20 Pages 2010
Mind change optimal learning of Bayes net structure from dependency and independency data Fulltext Access 20 Pages 2010
An overview of Channel Assignment methods for multi-radio multi-channel wireless mesh networks Fulltext Access 20 Pages 2010
Mining and visualising ordinal data with non-parametric continuous BBNs Fulltext Access 20 Pages 2010
A generalization of Tyler’s M-estimators to the case of incomplete data Fulltext Access 20 Pages 2010
On testing for serial correlation of unknown form using wavelet thresholding Fulltext Access 20 Pages 2010
A platform for the automatic generation of attribute evaluation hardware systems Fulltext Access 20 Pages 2010
Modelling Interactive Experience, Function and Performance in Ubiquitous Systems Fulltext Access 20 Pages 2010
Default Bayesian model determination methods for generalised linear mixed models Fulltext Access 20 Pages 2010
Query rewritings using views for XPath queries, framework, and methodologies Fulltext Access 20 Pages 2010
Bayesian variable selection and model averaging in the arbitrage pricing theory model Fulltext Access 20 Pages 2010
Forecasting workload and airspace configuration with neural networks and tree search methods Fulltext Access 20 Pages 2010
Evolutionary equilibrium in Bayesian routing games: Specialization and niche formation Fulltext Access 21 Pages 2010
On the physical implementation of logical transformations: Generalized L-machines Fulltext Access 21 Pages 2010
A bisimulation-like proof method for contextual properties in untyped λ-calculus with references and deallocation Fulltext Access 21 Pages 2010
Characterizing geometric patterns formable by oblivious anonymous mobile robots Fulltext Access 21 Pages 2010
Unifying Architectural and Behavioural Specifications of Distributed Components Fulltext Access 21 Pages 2010
The computational complexity of avoiding spurious states in state space abstraction Fulltext Access 21 Pages 2010
Representing uncertainty on set-valued variables using belief functions Fulltext Access 21 Pages 2010
Logic programs with abstract constraint atoms: The role of computations Fulltext Access 21 Pages 2010
Extracting a largest redundancy-free XML storage structure from an acyclic hypergraph in polynomial time Fulltext Access 21 Pages 2010
Tractable database design and datalog abduction through bounded treewidth Fulltext Access 21 Pages 2010
Exact join detection for convex polyhedra and other numerical abstractions Fulltext Access 21 Pages 2010
Performance Evaluation of Self-reconfigurable Service-oriented Software With Stochastic Petri Nets Fulltext Access 21 Pages 2010