9370 search results - page 95 / 1874 » An Abstract Notion of Application |
113
click to vote
ENTCS
2008
15 years 22 days ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
124
click to vote
MVA
2006
15 years 18 days ago
2006
Abstract This paper presents an approach to designing and implementing extensible computational models for perceiving systems based on a knowledge-driven joint inference approach. ...
116
Voted
AAMAS
2000
Springer
15 years 15 days ago
2000
Springer
Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for...
107
click to vote
FUIN
2002
15 years 13 days ago
2002
Abstract. This article introduces structural aspects in an ontology of approximate reason. The basic assumption in this ontology is that approximate reason is a capability of an ag...
106
Voted
TASLP
2002
15 years 9 days ago
2002
Abstract--We describe some high-level approaches to estimating confidence scores for the words output by a speech recognizer. By "high-level" we mean that the proposed me...