2451 search results - page 75 / 491 » The Octagon Abstract Domain |
166
click to vote
FLAIRS
2009
15 years 4 months ago
2009
The predicates that are used to encode a planning domain in PDDL often do not include concepts that are important for effectively reasoning about problems in the domain. In partic...
137
click to vote
ROBOCUP
2001
Springer
15 years 10 months ago
2001
Springer
In multiagent adversarial domains, team agents should adapt to the environment and opponent. We introduce a model representation as part of a planning process for a simulated socce...
151
click to vote
CCA
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. General methods of investigating effectivity on regular Hausdorff (T3) spaces is considered. It is shown that there exists a functor from a category of T3 spaces into a c...
130
click to vote
SE
2007
15 years 7 months ago
2007
Abstract: Software development is a complex task and therefore requires professional programming skills. Restricting the focus to a specific problem domain allows the application o...
135
click to vote
AGP
1999
IEEE
15 years 10 months ago
1999
IEEE
We study the problem of an efficient and precise sharing analysis of (constraint) logic programs. After recognizing that neither aring nor its non-redundant (but equivalent) abstra...