2012 search results - page 389 / 403 » CORAL - Control, Relations and Logic |
113
click to vote
CASES
2004
ACM
15 years 7 months ago
2004
ACM
Application specific processors offer the potential of rapidly designed logic specifically constructed to meet the performance and area demands of the task at hand. Recently, t...
120
click to vote
ADBIS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Query reformulation techniques based on semantic knowledge have been used in two ways in database management systems, namely for query optimization and for data integrati...
140
click to vote
ARGMAS
2004
Springer
15 years 7 months ago
2004
Springer
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...
124
click to vote
CBSE
2004
Springer
15 years 7 months ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
136
click to vote
KR
2004
Springer
15 years 7 months ago
2004
Springer
One of the major advances in classical planning has been the development of Graphplan. Graphplan builds a layered structure called the planning graph, and then searches this struc...