1607 search results - page 245 / 322 » The existence of k-radius sequences |
DATE
2010
IEEE
14 years 21 days ago
2010
IEEE
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
FAABS
2000
Springer
14 years 21 days ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
PATAT
2000
Springer
14 years 20 days ago
2000
Springer
The timetabling problem consists in fixing a sequence of meetings between teachers and students in a given period of time, satisfying a set of different constraints. There are a nu...
SPIN
2000
Springer
14 years 19 days ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
ICCV
1995
IEEE
14 years 19 days ago
1995
IEEE
The structure-from-motion problem has been extensively studied in the field of computer vision. Yet, the bulk of the existing work assumes that the scene contains only a single m...