5216 search results - page 851 / 1044 » Planning as Model Checking |
195
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
We examine a knowledge representation architecture to support context interchange mediation. For autonomous receivers and sources sharing a common subject domain, the mediator’s...
152
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
One often meets the argument that the adoption of mobile Internet services is difficult to understand due to a lack of relevant research. However, much research has already been c...
142
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Expresso is an experiment management system that is designed to assist biologists in planning, executing, and interpreting microarray experiments. It serves as a unifying framewor...
175
click to vote
SSDBM
2003
IEEE
15 years 11 months ago
2003
IEEE
Relational index structures, as for instance the Relational Interval Tree, the Relational R-Tree, or the Linear Quadtree, support efficient processing of queries on top of existin...
161
click to vote
ICCBR
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper presents an approach of case mining to automatically discover case bases from large datasets in order to improve both the speed and the quality of case based r...