6704 search results - page 209 / 1341 » Testing Scenario-Based Models |
167
click to vote
DAGM
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. This contribution presents a novel approach to the challenging problem of model selection in motion estimation from sequences of images. New light is cast on parametric m...
369
click to vote
Dataset
Here are some calibrated stereograms (stereo images) used in the Syntim team to test our 3D vision algorithms. Calibration data are available, assuming a pin-hole camera model. Ple...
166
click to vote
BIBE
2007
IEEE
16 years 27 days ago
2007
IEEE
—This paper presents a study of possible extensions of Pathway Logic to represent and reason about semiquantitative and probabilistic aspects of biological processes. The underly...
156
click to vote
ASPDAC
2004
ACM
15 years 12 months ago
2004
ACM
— This paper presents a SAT-based ATPG tool targeting on a path-oriented transition fault model. Under this fault model, a transition fault is detected through the longest sensit...
161
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...