6608 search results - page 1015 / 1322 » On the Completeness of Model Checking |
208
click to vote
IVC
2000
15 years 7 months ago
2000
In this paper we present a technique for tracking borescope tip pose in real-time. While borescopes are used regularly to inspect machinery for wear or damage, knowing the exact l...
143
Voted
JASSS
2002
15 years 7 months ago
2002
This paper demonstrates the role of group normative reputation in the promotion of an aggression reducing possession norm in an artificial society. A previous model of normative r...
178
click to vote
SIAMAM
2002
15 years 7 months ago
2002
We study a class of delay differential equations which have been used to model hematological stem cell regulation and dynamics. Under certain circumstances the model exhibits self-...
213
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The paper investigates a novel approach, based on Constraint Logic Programming (CLP), to predict the 3D conformation of a protein via fragments assembly. The fragments ar...
197
click to vote
ICRA
2010
IEEE
15 years 6 months ago
2010
IEEE
— We consider the problem of finding sufficiently simple models of high-dimensional physical systems that are consistent with observed trajectories, and using these models to s...