Sciweavers

6014 search results - page 770 / 1203
» Structural Testing with Use Cases
Sort
View
DAGM
2006
Springer
15 years 10 months ago
Realtime Depth Estimation and Obstacle Detection from Monocular Video
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 ...
Andreas Wedel, Uwe Franke, Jens Klappstein, Thomas...
CVPR
2010
IEEE
15 years 9 months ago
Multi-View Scene Flow Estimation: A View Centered Variational Approach
We present a novel method for recovering the 3D structure and scene flow from calibrated multi-view sequences. We propose a 3D point cloud parametrization of the 3D structure and ...
Tali Bahsa, Yael Moses, Nahum Kiryati
AAAI
1998
15 years 8 months ago
Multimodal Reasoning for Automatic Model Construction
This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...
Reinhard Stolle, Elizabeth Bradley
ACTAC
2008
94views more  ACTAC 2008»
15 years 6 months ago
Effect Preservation in Transaction Processing in Rule Triggering Systems
Rules provide an expressive means for implementing database behavior: They cope with changes and their ramifications. Rules are commonly used for integrity enforcement, i.e., for ...
Mira Balaban, Steffen Jurk
ASE
2006
122views more  ASE 2006»
15 years 6 months ago
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
Andrew Ireland, Jamie Stark