Sciweavers

734 search results - page 30 / 147
» Undecidability over Continuous Time
Sort
View
ICSNC
2007
IEEE
14 years 2 months ago
Efficient Transformation Scheme for Indexing Continuous Queries on RFID Streaming Data
RFID data are usually regarded as streaming data that are huge and change frequently because they are gathered continuously by numerous readers. RFID middleware filters the data a...
Jaekwan Park, Bonghee Hong, ChaeHoon Ban
BMVC
2001
13 years 11 months ago
Detection Algorithm of Particle Contamination in Reticle Images with Continuous Wavelet Transform
This paper presents an inspection method of particle contamination for semiconductor reticles using continuous wavelet transform. Particle defect is considered as a singularity in...
Chaoquan Chen, Guoping Qiu
CVPR
2008
IEEE
13 years 10 months ago
A rank constrained continuous formulation of multi-frame multi-target tracking problem
This paper presents a multi-frame data association algorithm for tracking multiple targets in video sequences. Multi-frame data association involves finding the most probable corr...
Khurram Shafique, Mun Wai Lee, Niels Haering
ECAI
2010
Springer
13 years 6 months ago
A Hybrid Continuous Max-Sum Algorithm for Decentralised Coordination
Abstract. In this paper we tackle the problem of coordinating multiple decentralised agents with continuous state variables. Specifically we propose a hybrid approach, which combin...
Thomas Voice, Ruben Stranders, Alex Rogers, Nichol...
HYBRID
1998
Springer
14 years 25 days ago
Equations on Timed Languages
We continue investigation of languages, accepted by timed automata of Alur and Dill. In [ACM97] timed regular expressions equivalent to timed automata were introduced. Here we intr...
Eugene Asarin