5015 search results - page 856 / 1003 » Model Checking a Path |
ISAAC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We consider bicriteria optimization problems and investigate the relationship between two standard approaches to solving them: (i) computing the Pareto curve and (ii) the...
GCB
2004
Springer
14 years 3 months ago
2004
Springer
: Carbon Labeling Systems (CLS) are large equation systems that describe the dynamics of labeled carbon atoms in a metabolic network. The rapid solution of these systems is the alg...
SIGMETRICS
2003
ACM
14 years 3 months ago
2003
ACM
Distributed hash table (DHT) systems are an important class of peer-to-peer routing infrastructures. They enable scalable wide-area storage and retrieval of information, and will ...
COMPGEOM
2010
ACM
14 years 3 months ago
2010
ACM
Let D be a weighted directed graph cellularly embedded in a surface of genus g, orientable or not, possibly with boundary. We describe algorithms to compute a shortest non-contrac...
Publication
Ageometric framework for the recognition of three-dimensional objects represented by point
clouds is introducedin this paper. The proposed approach is based on comparing distribut...