5855 search results - page 962 / 1171 » Test generation and minimization with |
110
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
Online communities increasingly rely on reputation information to foster cooperation and deter cheating. As rational agents can often benefit from misreporting their observations,...
130
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
160
click to vote
DILS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Ecologists spend considerable effort integrating heterogeneous data for statistical analyses and simulations, for example, to run and test predictive models. Our research...
117
click to vote
CP
2006
Springer
15 years 5 months ago
2006
Springer
Dynamic Backtracking (DBT) is a well known algorithm for solving Constraint Satisfaction Problems. In DBT, variables are allowed to keep their assignment during backjump, if they a...
121
click to vote
DAGM
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. This paper deals with the detection of arbitrary static objects in traffic scenes from monocular video using structure from motion. A camera in a moving vehicle observes ...