7742 search results - page 1246 / 1549 » The Robustness of Level Sets |
175
click to vote
ITRUST
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Question answering systems users may find answers without any supporting information insufficient for determining trust levels. Once those question answering systems beg...
197
click to vote
LPAR
2005
Springer
16 years 6 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
182
click to vote
MATES
2005
Springer
16 years 6 days ago
2005
Springer
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for dec...
174
Voted
MDAI
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Common inductive learning strategies offer the tools for knowledge acquisition, but possess some inherent limitations due to the use of fixed bias during the learning p...
193
click to vote
MLMI
2005
Springer
16 years 6 days ago
2005
Springer
Acoustic events produced in meeting-room-like environments may carry information useful for perceptually aware interfaces. In this paper, we focus on the problem of combining diffe...