Sciweavers

3921 search results - page 298 / 785
» Transforming Models with ATL
Sort
View
ADAEUROPE
2007
Springer
16 years 25 days ago
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
Matteo Bordin, Tullio Vardanega
AGTIVE
2007
Springer
16 years 25 days ago
Programmed Graph Rewriting with DEVS
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
Eugene Syriani, Hans Vangheluwe
177
Voted
IBPRIA
2007
Springer
16 years 24 days ago
Vehicle Trajectory Estimation Based on Monocular Vision
This paper proposes a system to estimate the 3D position and velocity of vehicles, from images acquired with a monocular camera. Given image regions where vehicles are detected, Ga...
Daniel Ponsa, Antonio M. López
ICPR
2006
IEEE
16 years 20 days ago
Global-to-Local Non-Rigid Shape Registration
Non-rigid shape registration is an important issue in computer vision. In this paper we propose a novel globalto-local procedure for aligning non-rigid shapes. The global similari...
Hui Chen, Bir Bhanu
IJCNLP
2005
Springer
16 years 4 days ago
Exploiting Lexical Conceptual Structure for Paraphrase Generation
Abstract. Lexical Conceptual Structure (LCS) represents verbs as semantic structures with a limited number of semantic predicates. This paper attempts to exploit how LCS can be use...
Atsushi Fujita, Kentaro Inui, Yuji Matsumoto