561 search results - page 91 / 113 » A Constructive Approach to Testing Model Transformations |
CAEPIA
2005
Springer
15 years 3 months ago
2005
Springer
Conformant planning is a variation of classical AI planning where the initial state is partially known and actions can have nondeterministic effects. While a classical plan must a...
102
click to vote
VLSM
2005
Springer
15 years 3 months ago
2005
Springer
For non-rigid registration, the objects in medical images are usually treated as a single deformable body with homogeneous stiffness distribution. However, this assumption is inval...
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Boundary detection constitutes a crucial step in many computer vision tasks. We present a novel learning approach to automatically construct a boundary detector for natural images...
CVPR
2008
IEEE
16 years 2 days ago
2008
IEEE
Abstract: The advent of high-resolution digital cameras and sophisticated multi-view stereo algorithms offers the promises of unprecedented geometric fidelity in image-based modeli...
ESOP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...