2488 search results - page 447 / 498 » An improvement in formal verification |
102
click to vote
ACNS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Membership queries are basic predicate operations that apply to datasets. Quantifications of such queries express global properties between datasets, including subset inc...
112
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
In dangerous and uncertain environments initial plans must be revised. Communication failures hamper this replanning. We introduce fractured subteams as a novel formalism for mode...
131
click to vote
CRV
2004
IEEE
15 years 5 months ago
2004
IEEE
- This paper presents a global method to process monocular image sequences for mobile robot obstacle detection. We do not aim to achieve a complete scene reconstruction, but only t...
104
click to vote
BPM
2006
Springer
15 years 5 months ago
2006
Springer
An important shortcoming in the Business Process Redesign (BPR) literature is the lack of concrete guidance on how to improve an existing business process. Our earlier work has aim...
150
click to vote
CICLING
2006
Springer
15 years 5 months ago
2006
Springer
In this paper, the influence of intonation to recognize dialogue acts from speech is assessed. Assessment is based on an empirical approach: manually tagged data from a spoken-dial...