Sciweavers

1179 search results - page 77 / 236
» Modeling Time in Computing: A Taxonomy and a Comparative Sur...
Sort
View
RTAS
2009
IEEE
14 years 2 months ago
Lightweight Modeling of Complex State Dependencies in Stream Processing Systems
Over the last few years, Real-Time Calculus has been used extensively to model and analyze embedded systems processing continuous data/event streams. Towards this, bounds on the a...
Anne Bouillard, Linh T. X. Phan, Samarjit Chakrabo...
FSTTCS
2008
Springer
13 years 9 months ago
Banach-Mazur Games on Graphs
We survey determinacy, definability, and complexity issues of Banach-Mazur games on finite and infinite graphs. Infinite games where two players take turns to move a token thro...
Erich Grädel
VLDB
1991
ACM
111views Database» more  VLDB 1991»
13 years 11 months ago
The Power of Methods With Parallel Semantics
A model capturing the data manipulation capabilities of a large class of methods in ohjectoriented databases is proposed and investsigated. The model uses a deterministic, paralle...
Karl Denninghoff, Victor Vianu
AVSS
2006
IEEE
14 years 2 months ago
The Role of Motion Models in Super-Resolving Surveillance Video for Face Recognition
Although the use of super-resolution techniques has demonstrated the ability to improve face recognition accuracy when compared to traditional upsampling techniques, they are dif...
Frank Lin, Clinton Fookes, Vinod Chandran, Sridha ...
MVA
2008
125views Computer Vision» more  MVA 2008»
13 years 8 months ago
Pearson-based mixture model for color object tracking
To track objects in video sequences, many studies have been done to characterize the target with respect to its color distribution. Most often, the Gaussian Mixture Model (GMM) is ...
William Ketchantang, Stéphane Derrode, Lion...