Sciweavers

563 search results - page 56 / 113
» An Observational Model for Spatial Logics
Sort
View
CONCUR
2005
Springer
15 years 3 months ago
Deriving Weak Bisimulation Congruences from Reduction Systems
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawe...
ICCV
2007
IEEE
14 years 11 months ago
Probabilistic Fusion Tracking Using Mixture Kernel-Based Bayesian Filtering
Even though sensor fusion techniques based on particle filters have been applied to object tracking, their implementations have been limited to combining measurements from multip...
Bohyung Han, Seong-Wook Joo, Larry S. Davis
AVSS
2006
IEEE
15 years 4 months ago
Nonparametric Background Modeling Using the CONDENSATION Algorithm
Background modeling for dynamic scenes is an important problem in the context of real time video surveillance systems. Several nonparametric background models have been proposed t...
Xingzhi Luo, Suchendra M. Bhandarkar, Wei Hua, Hai...
92
Voted
OTM
2005
Springer
15 years 3 months ago
Spatio-temporal Schema Integration with Validation: A Practical Approach
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...
Anastasiya Sotnykova, Nadine Cullot, Christelle Va...
OHS
2001
Springer
15 years 2 months ago
Link Augmentation: A Context-Based Approach to Support Adaptive Hypermedia
In today’s adaptive hypermedia systems, adaptivity is provided based on accumulative data gained from observing the user. User modelling, the capturing of information about the ...
Christopher Bailey, Samhaa R. El-Beltagy, Wendy Ha...