12981 search results - page 2242 / 2597 » Model Checking (Abstract) |
144
click to vote
CICLING
2007
Springer
15 years 11 months ago
2007
Springer
Finite-state technology is considered the preferred model for representing the phonology and morphology of natural languages. The attractiveness of this technology for natural lang...
149
click to vote
CLEAR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper describes the 2007 meeting speech-to-text system for lecture rooms developed at the Interactive Systems Laboratories (ISL), for the multiple distant microphone...
125
click to vote
CLEAR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper presents two approaches to the problem of simultaneous tracking of several people in low resolution sequences from multiple calibrated cameras. Spatial redunda...
123
click to vote
COLT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We consider the problem of learning an acyclic discrete circuit with n wires, fan-in bounded by k and alphabet size s using value injection queries. For the class of tran...
111
click to vote
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. When dealing with process calculi and automata which express both nondeterministic and probabilistic behavior, it is customary to introduce the notion of scheduler to res...