3820 search results - page 427 / 764 » Bounded Model Debugging |
121
click to vote
MDM
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we consider a data model for uncertain trajectories of moving objects. In our model, the trajectory is a vector of uniform stochastic processes. We study “univers...
127
Voted
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
This paper analyzes the performance of a genetic algorithm that utilizes tournament selection, one-point crossover, and a reordering operator. A model is proposed to describe the c...
140
click to vote
DEXAW
2002
IEEE
15 years 9 months ago
2002
IEEE
Optimistic replication of data is a widely used tool for mobile environments, but the behavior of concurrent conflicting updates caused by the relaxed consistency model is poorly ...
135
Voted
CP
2001
Springer
15 years 8 months ago
2001
Springer
The Constraint Problems usually addressed fall into one of two models: the Constraint Satisfaction Problem (CSP) and the Constraint Optimization Problem (COP). However, in many rea...
113
click to vote
WG
2001
Springer
15 years 8 months ago
2001
Springer
In this work we introduce, characterize, and provide algorithmic results for (k, +)–distance-hereditary graphs, k ≥ 0. These graphs can be used to model interconnection networ...