1127 search results - page 14 / 226 » Theory Extension in ACL2(r) |
AUSAI
2009
Springer
14 years 2 months ago
2009
Springer
We extend a recent approach to integrate action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an action theory as internal world model t...
ICIP
2008
IEEE
14 years 1 months ago
2008
IEEE
This work presents a new statistical approach to region merging where regions are modeled as arbitrary discrete distributions, directly estimated from the pixel values. Under this...
ICIP
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper presents a new method for segmentation of images into large regions that reflect the real world objects present in a scene. It explores the feasibility of utilizing sp...
AAMAS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In agent-based computational economics, many different trading strategies have been proposed. Given the kinds of market that such trading strategies are employed in, it i...
BIRTHDAY
2007
Springer
14 years 1 months ago
2007
Springer
In contrast to the current general way of developing tools for proving termination automatically, this paper intends to show an alternative program based on using on the one hand t...