2451 search results - page 35 / 491 » The Octagon Abstract Domain |
119
click to vote
CIG
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract- This paper proposes a similarity-based approach for opponent modelling in multi-agent games. The classification accuracy is increased by adding derived attributes from i...
129
click to vote
IJCNLP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper describes a method of adapting a domain-independent HPSG parser to a biomedical domain. Without modifying the grammar and the probabilistic model of the origin...
137
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. In this work we address the problem of elaborating domain descriptions (alias action theories), in particular those that are expressed in dynamic logic. We define a gener...
120
click to vote
LFP
1992
15 years 6 months ago
1992
We propose a syntactic approach to performing fixed point computation on finite domains. Finding fixed points in finite domains for monotonic functions is an essential task when c...
140
click to vote
AAAI
2007
15 years 7 months ago
2007
Heuristic search is a leading approach to domain-independent planning. For cost-optimal planning, however, existing admissible heuristics are generally too weak to effectively gui...