1114 search results - page 21 / 223 » An Architecture for Peer-to-peer Reasoning |
DAC
2001
ACM
15 years 12 months ago
2001
ACM
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuit...
81
Voted
EWCBR
2004
Springer
15 years 4 months ago
2004
Springer
Two key objectives of conversational case-based reasoning (CCBR) systems are (1) eliciting case facts in a manner that minimizes the user’s burden in terms of resources such as t...
ICCBR
2003
Springer
15 years 4 months ago
2003
Springer
A generic Case-Based Reasoning tool has been designed, implemented, and successfully used in two distinct applications. SOFT-CBR can be applied to a wide range of decision problems...
103
Voted
ATAL
1999
Springer
15 years 3 months ago
1999
Springer
Although many formalisms have been proposed for reasoning about intelligent agents, few of these have been semantically grounded in a concrete computational model. This paper prese...
CAISE
2010
Springer
15 years 21 hour ago
2010
Springer
Abstract. Service-oriented applications facilitate the exchange of business services among participants. Existing modeling approaches either apply at a lower of abstraction than re...