234 search results - page 15 / 47 » Validation of requirement models by automatic prototyping |
CVPR
2009
IEEE
16 years 6 months ago
2009
IEEE
Statistical approaches for building non-rigid deformable
models, such as the Active Appearance Model (AAM), have
enjoyed great popularity in recent years, but typically require
...
113
Voted
IVC
2010
14 years 9 months ago
2010
We propose an algorithm for automatically obtaining a segmentation of a rigid object in a sequence of images that are calibrated for camera pose and intrinsic parameters. Until re...
85
Voted
SIGMOD
2010
ACM
14 years 11 months ago
2010
ACM
Schema evolution is an unavoidable consequence of the application development lifecycle. The two primary schemas in an application, the client conceptual object model and the pers...
88
Voted
TSE
2010
14 years 9 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
111
Voted
MT
2002
14 years 10 months ago
2002
We present MARS (Multilingual Automatic tRanslation System), a research prototype speech-to-speech translation system. MARS is aimed at two-way conversational spoken language trans...