Sciweavers

1054 search results - page 40 / 211
» Translation Validation of System Abstractions
Sort
View
ECCV
2010
Springer
15 years 11 months ago
Rotation invariant non-rigid shape matching in cluttered scenes
Abstract. This paper presents a novel and efficient method for locating deformable shapes in cluttered scenes. The shapes to be detected may undergo arbitrary translational and rot...
AMTA
2004
Springer
15 years 11 months ago
Interlingual Annotation for MT Development
MT systems that use only superficial representations, including the current generation of statistical MT systems, have been successful and useful. However, they will experience a p...
Florence Reeder, Bonnie J. Dorr, David Farwell, Ni...
MATES
2004
Springer
15 years 11 months ago
From Modeling to Simulation of Multi-agent Systems: An Integrated Approach and a Case Study
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...
Giancarlo Fortino, Alfredo Garro, Wilma Russo
AB
2007
Springer
16 years 5 days ago
Analyzing Pathways Using SAT-Based Approaches
Abstract. A network of reactions is a commonly used paradigm for representing knowledge about a biological process. How does one understand such generic networks and answer queries...
Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, ...
MICCAI
1999
Springer
15 years 10 months ago
Fully Automatic 3D/2D Subtracted Angiography Registration
Abstract. Today, 3-D angiography volumes are routinely generated from rotational angiography sequences. In previous work [7], we have studied the precision reached by registering s...
Erwan Kerrien, Marie-Odile Berger, Eric Maurincomm...