3207 search results - page 504 / 642 » A Semantics for HTN Methods |
129
click to vote
KBSE
1998
IEEE
15 years 9 months ago
1998
IEEE
Specification-based retrieval provides exact contentoriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottlene...
135
Voted
FTRTFT
1998
Springer
15 years 9 months ago
1998
Springer
Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a ...
168
click to vote
DL
1994
Springer
15 years 9 months ago
1994
Springer
Digital Libraries will hold huge amounts of text and other forms of information. For the collections to be maximally useful, they must be highly organized with useful indexes and ...
161
Voted
IMPERIAL
1993
15 years 9 months ago
1993
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...
171
Voted
ECAI
1990
Springer
15 years 9 months ago
1990
Springer
In case-based reasoning (CBR) a problem is solved by matching the problem description to a previously solved case, using the past solution in solving the new problem. A case-based...