1054 search results - page 31 / 211 » Translation Validation of System Abstractions |
114
click to vote
CAV
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. CVC3, a joint project of NYU and U Iowa, is the new and latest version of the Cooperating Validity Checker. CVC3 extends and builds on the functionality of its predecesso...
127
click to vote
FSMNLP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We are working on the construction of a Spanish-Basque (eseu) machine translation tool using the traditional transfer model based on shallow and dependency parsing. Spani...
183
click to vote
IROS
2006
IEEE
15 years 12 months ago
2006
IEEE
Abstract— This paper presents a new hybrid decoupled visionbased control scheme valid for the entire class of central catadioptric sensors (including conventional perspective cam...
159
click to vote
FMICS
2006
Springer
15 years 9 months ago
2006
Springer
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
147
click to vote
VL
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper shows how integrated UML models combining class, object, use-case, collaboration and state diagrams can be animated in a domain-specific layout. The presented approach...