Sciweavers

3047 search results - page 209 / 610
» A Temporal Consensus Model
Sort
View
ICDE
2007
IEEE
89views Database» more  ICDE 2007»
15 years 9 months ago
A Flexible Query Graph Based Model for the Efficient Execution of Continuous Queries
In this paper, we propose a simple and flexible execution model that (i) supports a wide spectrum of alternative optimization and execution strategies and their mixtures, (ii) pro...
Yijian Bai, Hetal Thakkar, Haixun Wang, Carlo Zani...
ENTCS
2007
134views more  ENTCS 2007»
15 years 5 months ago
A Compact Linear Translation for Bounded Model Checking
We present a syntactic scheme for translating future-time LTL bounded model checking problems into propositional satisfiability problems. The scheme is similar in principle to th...
Paul B. Jackson, Daniel Sheridan
JIIS
2002
114views more  JIIS 2002»
15 years 5 months ago
A Dynamic Probabilistic Model to Visualise Topic Evolution in Text Streams
Abstract. We propose a novel probabilistic method, based on latent variable models, for unsupervised topographic visualisation of dynamically evolving, coherent textual information...
Ata Kabán, Mark Girolami
ICIP
2007
IEEE
16 years 7 months ago
Modeling Time-Varying Illumination Patterns in Video
Recreating the temporal illumination variations of natural scenes has great potential for realistic synthesis of video sequences. In this paper, we present a 3D (model-based) appr...
Yilei Xu, Amit K. Roy Chowdhury
ICPR
2008
IEEE
16 years 1 days 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