2488 search results - page 445 / 498 » An improvement in formal verification |
137
click to vote
ECCV
1998
Springer
15 years 5 months ago
1998
Springer
The Multi-Stream automatic speech recognition approach was investigated in this work as a framework for Audio-Visual data fusion and speech recognition. This method presents many ...
154
click to vote
ATAL
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. Just as cooperation in multi-agent systems is a central issue for solving complex tasks, so too is the ability for an intelligent agent to reason about combined knowledge...
100
click to vote
ISSTA
1993
ACM
15 years 5 months ago
1993
ACM
Most of the effort that goes into improving the quality of software paradoxically does not lead to quantitative, measurable quality. Software developers and quality-assurance orga...
KR
1989
Springer
15 years 5 months ago
1989
Springer
Research on nonmonotonic and default reasoning has identified several important criteria for preferring alternative default inferences. The theories of reasoning based on each of...
121
click to vote
AIME
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Disease processes in patients are temporal in nature and involve uncertainty. It is necessary to gain insight into these processes when aiming at improving the diagnosis,...