3864 search results - page 28 / 773 » time 2005 |
TIME
2005
IEEE
15 years 3 months ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
69
Voted
FCT
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We analyse the mixing time of Markov chains using path coupling with stopping times. We apply this approach to two hypergraph problems. We show that the Glauber dynamics ...
FORMATS
2005
Springer
15 years 3 months ago
2005
Springer
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...
BIRTHDAY
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The paper reminds of the vision behind Intellectics, the discipline of Arti cial Intelligence (AI) and Cognitive Science, and argues that the time has come for attacking ...
83
Voted
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
Robustness and accuracy are major issues in real-time tracking. This paper describes a reliable tracking for markerless planar objects based on the fusion of visual cues and on th...