1501 search results - page 202 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
284
click to vote
CASES
2011
ACM
14 years 4 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
146
click to vote
ISMAR
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents methodology for integrating a small, singlepoint laser range finder into a wearable augmented reality system. We first present a way of creating object-align...
129
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
A dimension reduction method called Discrete Empirical Interpolation (DEIM) is proposed and shown to dramatically reduce the computational complexity of the popular Proper Orthogo...
168
click to vote
MICCAI
2009
Springer
16 years 5 months ago
2009
Springer
We propose a method for the analysis of Magnetic Resonance (MR) cardiac images with the goal of reconstructing the motion of the ventricular walls. The main feature of our method i...
161
click to vote
ISOLA
2004
Springer
15 years 9 months ago
2004
Springer
Petri net community has suffered with the lack of a standard format to represent Petri net models. This situation led to an undesirable tool incompatibility. In order to solve thi...