Sciweavers

868 search results - page 68 / 174
» Unification of Temporal Data Models
Sort
View
ICPPW
2006
IEEE
14 years 4 months ago
Model Checking Control Communication of a FACTS Device
This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such sys...
David A. Cape, Bruce M. McMillin, James K. Townsen...
VR
2003
IEEE
164views Virtual Reality» more  VR 2003»
14 years 4 months ago
Augmented Virtual Environments (AVE): Dynamic Fusion of Imagery and 3D Models
An Augmented Virtual Environment (AVE) fuses dynamic imagery with 3D models. The AVE provides a unique approach to visualize and comprehend multiple streams of temporal data or im...
Ulrich Neumann, Suya You, Jinhui Hu, Bolan Jiang, ...
ICPR
2008
IEEE
14 years 5 months ago
Tracking human body by using particle filter Gaussian process Markov-switching model
The goal of this article is to present an effective and robust tracking algorithm for nonlinear feet motion by deploying particle filter integrated with Gaussian process latent v...
Jing Wang, Hong Man, Yafeng Yin
FAC
2000
124views more  FAC 2000»
13 years 10 months ago
Algebraic Models of Correctness for Microprocessors
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
Anthony C. J. Fox, Neal A. Harman
ER
2006
Springer
87views Database» more  ER 2006»
14 years 2 months ago
Spatio-temporal and Multi-representation Modeling: A Contribution to Active Conceptual Modeling
Worldwide globalization increases the complexity of problem solving and decision-making, whatever the endeavor is. This calls for a more accurate and complete understanding of unde...
Stefano Spaccapietra, Christine Parent, Esteban Zi...