3987 search results - page 537 / 798 » Ontology-Based Model Transformation |
214
click to vote
WACV
2005
IEEE
16 years 27 days ago
2005
IEEE
We present an approach for persistent tracking of moving objects observed by non-overlapping and moving cameras. Our approach robustly recovers the geometry of non-overlapping vie...
200
click to vote
EMSOFT
2005
Springer
16 years 26 days ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
230
click to vote
CAISE
2004
Springer
16 years 22 days ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
197
click to vote
IFM
2004
Springer
16 years 21 days ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
189
click to vote
IPPS
2003
IEEE
16 years 18 days ago
2003
IEEE
Percolation has recently been proposed as a key component of an advanced program execution model for future generation high-end machines featuring adaptive data/code transformatio...