2451 search results - page 46 / 491 » The Octagon Abstract Domain |
142
click to vote
ICRA
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— This paper presents a search-based, real-time adaptive solution to the multi-robot coordination problem in adversarial environments. By decomposing the global coordinat...
176
Voted
PARA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents a method of solving initial value problems using Euler’s method, based on the domain of interval valued functions of a real variable. In contrast to...
137
Voted
PCI
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper extends previous studies that investigated the accessibility of different web sites of specific content, to an analysis of the whole web of a specific country ...
128
Voted
ECAI
1994
Springer
15 years 9 months ago
1994
Springer
Abstract. This paper presents a novel extension to abductive reasoning in causal nets, namely the use of domain knowledge to select among alternative diagnoses. We describe how pre...
202
click to vote
AGTIVE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...