688 search results - page 79 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
SIGGRAPH
1996
ACM
13 years 12 months ago
1996
ACM
We present a new approach for modeling and rendering existing architectural scenes from a sparse set of still photographs. Our modeling approach, which combines both geometry-base...
ILP
2003
Springer
14 years 1 months ago
2003
Springer
The learning system Progol5 and the underlying inference method of Bottom Generalisation are firmly established within Inductive Logic Programming (ILP). But despite their success...
CSEE
2000
Springer
14 years 5 days ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
— We describe a method for an autonomous robot to efficiently locate one or more distinct objects in a realistic environment using monocular vision. We demonstrate how to effic...
PVLDB
2011
12 years 10 months ago
2011
Adaptive indexing is characterized by the partial creation and refinement of the index as side effects of query execution. Dynamic or shifting workloads may benefit from prelimi...