774 search results - page 46 / 155 » Experiments with an Agent-Oriented Reasoning System |
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
TOOLS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. Virtual machines (VMs) emulating hardware devices are generally implemented in low-level languages for performance reasons. This results in unmaintainable systems that ar...
KES
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Zebra dove's voice competition has become more popular in Thailand and many other South East Asian countries. Even though there are specific judging rules to follow,...
ICVS
1999
Springer
14 years 10 days ago
1999
Springer
This paper presents interim results from an ongoing project on aerial image reconstruction. One important task in image interpretation is the process of understanding and identifyi...
FLAIRS
2003
13 years 9 months ago
2003
Case memory maintenance in a Case-Based Reasoning system is important for two main reasons: (1) to control the case memory size; (2) to reduce irrelevant and redundant instances t...