650 search results - page 81 / 130 » Towards automatic model synchronization from model transform... |
ECCV
2008
Springer
14 years 11 months ago
2008
Springer
We propose a dynamic texture feature-based algorithm for registering two video sequences of a rigid or nonrigid scene taken from two synchronous or asynchronous cameras. We model e...
DAC
2005
ACM
14 years 10 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
WOSP
1998
ACM
14 years 1 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
CAISE
2004
Springer
14 years 2 months 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 ...
ECAL
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper adopts an interdisciplinary view of the significant elements of ecosystems and the methods by which these might be simulated to explore theoretical issues of r...