Sciweavers

2478 search results - page 80 / 496
» Quadtrees as an Abstract Domain
Sort
View
ECAI
2004
Springer
14 years 1 months ago
Compilation of LTL Goal Formulas into PDDL
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...
Stephen Cresswell, Alexandra M. Coddington
RSCTC
2004
Springer
134views Fuzzy Logic» more  RSCTC 2004»
14 years 1 months ago
Rough Set Methods in Approximation of Hierarchical Concepts
Abstract. Many learning methods ignore domain knowledge in synthesis of concept approximation. We propose to use hierarchical schemes for learning approximations of complex concept...
Jan G. Bazan, Sinh Hoa Nguyen, Hung Son Nguyen, An...
EDOC
2002
IEEE
14 years 1 months ago
Automated Management of Inter-Organisational Applications
Inter-organisational applications require improved support from middleware services. This paper analyses the management requirements of multidomain applications, covering both tec...
Lea Kutvonen
ICCBR
2010
Springer
13 years 12 months ago
An Algorithm for Adapting Cases Represented in an Expressive Description Logic
Abstract. This paper presents an algorithm of adaptation for a case-based reasoning system with cases and domain knowledge represented in the expressive description logic ALC. The ...
Julien Cojan, Jean Lieber
IWSAS
2000
Springer
13 years 11 months ago
An Architecture for Self-Adaptation and Its Application to Aerial Image Understanding
Abstract. Certain problems in which the environment is not well constrained do not lend themselves to a conventional open loop solution. Image understanding is such a problem domai...
Paul Robertson