4211 search results - page 499 / 843 » Types as Abstract Interpretations |
165
Voted
ICRA
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract— This paper discusses the design and current capabilities of a new software tool, dVC, capable of simulating planar systems of bodies experiencing unilateral contacts wi...
207
click to vote
ARGMAS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In this work, an agent architecture that combines defeasible argumentation and the BDI model is described. Argumentation will be used as a mechanism for reasoning about b...
152
click to vote
BIOSURVEILLANCE
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. This paper reviews the results of a study into combining evidence from multiple streams of surveillance data in order to improve timeliness and specificity of detection ...
167
click to vote
ECAL
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In the natural world, individual organisms can adapt as their environment changes. In most in silico evolution, however, individual organisms tend to consist of rigid sol...
199
click to vote
FROCOS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...