3199 search results - page 168 / 640 » Variability in Automation System Models |
115
Voted
ICASSP
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper describes the Arabic broadcast transcription system fielded by IBM in the GALE Phase 3.5 machine translation evaluation. Key advances compared to our Phase 2.5 system ...
100
click to vote
CSL
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
111
click to vote
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
Variability management in operating systems is an errorprone and tedious task. This is especially true for the Linux operating system, which provides a specialized tool called Kco...
127
Voted
CSL
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
96
Voted
MICCAI
2006
Springer
16 years 3 months ago
2006
Springer
Preoperative planning systems are commonly used for oral implant surgery. One of the objectives is to determine if the quantity and quality of bone is sufficient to sustain an impl...