Actor-based slicing techniques for efficient reduction of Rebeca models Fulltext Access 17 Pages 2010
Formalization of an architectural model for exception handling coordination based on CA action concepts Fulltext Access 17 Pages 2010
Acceleration of the EM algorithm via extrapolation methods: Review, comparison and new methods Fulltext Access 17 Pages 2010
Experience of building an architecture-based generator using GenVoca for distributed systems Fulltext Access 17 Pages 2010
Bayesian density estimation and model selection using nonparametric hierarchical mixtures Fulltext Access 17 Pages 2010
Locality and bounding-box quality of two-dimensional space-filling curves Fulltext Access 17 Pages 2010
Flexible isosurfaces: Simplifying and displaying scalar topology using the contour tree Fulltext Access 17 Pages 2010
Homotopic Fréchet distance between curves or, walking your dog in the woods in polynomial time Fulltext Access 17 Pages 2010
A series of algorithmic results related to the iterated hairpin completion Fulltext Access 17 Pages 2010
Pattern recognition of power signal disturbances using S Transform and TT Transform Fulltext Access 17 Pages 2010
Rigi—An environment for software reverse engineering, exploration, visualization, and redocumentation Fulltext Access 17 Pages 2010
Forecasting volatility under fractality, regime-switching, long memory and student-tt innovations Fulltext Access 17 Pages 2010
A variance shift model for detection of outliers in the linear mixed model Fulltext Access 17 Pages 2010
Prediction of multivariate responses with a selected number of principal components Fulltext Access 17 Pages 2010
On parse trees and Myhill–Nerode-type tools for handling graphs of bounded rank-width Fulltext Access 17 Pages 2010
Determinisation of relational substitutions in ordered categories with domain Fulltext Access 18 Pages 2010
Algebraic notions of nontermination: Omega and divergence in idempotent semirings Fulltext Access 18 Pages 2010
Relation-algebraic specification and solution of special university timetabling problems Fulltext Access 18 Pages 2010
Echo: A peer-to-peer clustering framework for improving communication in DHTs Fulltext Access 18 Pages 2010
Lightweight Transactional Memory systems for NoCs based architectures: Design, implementation and comparison of two policies Fulltext Access 18 Pages 2010
Discovery of optimal factors in binary data via a novel method of matrix decomposition Fulltext Access 18 Pages 2010
Connected facility location via random facility sampling and core detouring Fulltext Access 18 Pages 2010
Approximation and fixed-parameter algorithms for consecutive ones submatrix problems Fulltext Access 18 Pages 2010
Is observational congruence on μ-expressions axiomatisable in equational Horn logic? Fulltext Access 18 Pages 2010
Designing an effective P2P system for a VoD system to exploit the multicast communication Fulltext Access 18 Pages 2010
Automated generation of program translation and verification tools using annotated grammars Fulltext Access 18 Pages 2010
A new taxonomy of sublinear right-to-left scanning keyword pattern matching algorithms Fulltext Access 18 Pages 2010
Query-based verification of qualitative trends and oscillations in biochemical systems Fulltext Access 18 Pages 2010
Model selection strategies for identifying most relevant covariates in homoscedastic linear models Fulltext Access 18 Pages 2010
Using combinatorial optimization in model-based trimmed clustering with cardinality constraints Fulltext Access 18 Pages 2010
Efficient Monte Carlo computation of Fisher information matrix using prior information Fulltext Access 18 Pages 2010
Finding and ranking compact connected trees for effective keyword proximity search in XML documents Fulltext Access 18 Pages 2010
Three-stage semi-parametric estimation of TT-copulas: Asymptotics, finite-sample properties and computational aspects Fulltext Access 18 Pages 2010
On minimizing register usage of linearly scheduled algorithms with uniform dependencies Fulltext Access 18 Pages 2010
DRL*: A hierarchy of strong block-decomposable linear relaxations for 0–1 MIPs Fulltext Access 18 Pages 2010
Systematic Refinement of Performance Models for Concurrent Component-based Systems Fulltext Access 18 Pages 2010
A semantic information system for services and traded resources in Grid e-markets Fulltext Access 18 Pages 2010
On the distribution of distances between specified nodes in increasing trees Fulltext Access 18 Pages 2010
A link-based storage scheme for efficient aggregate query processing on clustered road networks Fulltext Access 19 Pages 2010
Conversion of categorical variables into numerical variables via Bayesian network classifiers for binary classifications Fulltext Access 19 Pages 2010
The log-exponentiated Weibull regression model for interval-censored data Fulltext Access 19 Pages 2010
Investigating the effort of using business process management technology: Results from a controlled experiment Fulltext Access 19 Pages 2010
Estimation of the marginal location under a partially linear model with missing responses Fulltext Access 19 Pages 2010
Effective symbolic dynamics, random points, statistical behavior, complexity and entropy Fulltext Access 19 Pages 2010