Sciweavers

7557 search results - page 395 / 1512
» Modeling Timed Concurrent Systems
Sort
View
DASFAA
2007
IEEE
151views Database» more  DASFAA 2007»
15 years 8 months ago
The Tornado Model: Uncertainty Model for Continuously Changing Data
To support emerging database applications that deal with continuously changing (or moving) data objects (CCDOs), such as vehicles, RFIDs, and multi-stimuli sensors, one requires an...
Byunggu Yu, Seon Ho Kim, Shayma Alkobaisi, Wan D. ...
AH
2008
Springer
16 years 1 months ago
VUMA: A Visual User Modelling Approach for the Personalisation of Adaptive Systems
Current approaches to explicit user modelling are generally time consuming and tedious for the user. Oftentimes poor usability and overly long questionnaires deter the end user fro...
Melanie B. Späth, Owen Conlan
CSE
2009
IEEE
15 years 10 months ago
Real Time Rectification for Stereo Correspondence
Duplicating the full dynamic capabilities of the human eye-brain combination is a difficult task but an important goal because of the wide application that a system which can acqu...
Khurram Jawed, John Morris, Tariq Khan, Georgy L. ...
EEF
2000
15 years 10 months ago
Process Algebra and Markov Chains
This paper surveys and relates the basic concepts of process algebra and the modelling of continuous time Markov chains. It provides
Ed Brinksma, Holger Hermanns
ICIP
2007
IEEE
16 years 8 months ago
Virtual Mirror: Real-Time Tracking of Shoes in Augmented Reality Environments
In this paper, we present a system that enhances the visualization of customized sports shoes using augmented reality techniques. Instead of viewing yourself in a real mirror, sop...
Jürgen Rurainsky, Peter Eisert, Philipp Fecht...