Sciweavers

774 search results - page 40 / 155
» Experiments with an Agent-Oriented Reasoning System
Sort
View
IAT
2009
IEEE
14 years 2 months ago
An Agent Model for Personal Development Support
This paper introduces an agent-based support model for leadership, which can be used by an ambient system to support a leader in the development of his team member(s). Using model...
Tibor Bosse, Rob Duell, Zulfiqar A. Memon, Jan Tre...
FLOPS
2008
Springer
13 years 9 months ago
Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base
In this paper we describe some certified algorithms for exact real arithmetic based on co-recursion. Our work is based on previous experiences using redundant digits of base 2 but ...
Nicolas Julien
ICVGIP
2004
13 years 9 months ago
Active 3-D Object Recognition Using Appearance-Based Aspect Graphs
We present a new active active recognition scheme (using an uncalibrated camera) based on a new idea, appearancebased aspect graphs. The scheme is robust to background clutter, an...
Sumantra Dutta Roy, Nirupama Kulkarni
FLAIRS
2000
13 years 9 months ago
A Case Study in the Mechanical Verification of Fault Tolerance
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
Heiko Mantel, Felix C. Gärtner
ICCBR
2001
Springer
14 years 16 days ago
Mining High-Quality Cases for Hypertext Prediction and Prefetching
Case-based reasoning aims to use past experience to solve new problems. A strong requirement for its application is that extensive experience base exists that provides statisticall...
Qiang Yang, Ian Tian Yi Li, Henry Haining Zhang