3844 search results - page 141 / 769 » Modular interpreted systems |
121
click to vote
TOPLAS
2002
15 years 3 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
122
Voted
ENGL
2006
15 years 3 months ago
2006
Recently, there has been a growth in the amount of machine readable information pertaining to the biomedical field. With this growth comes a desire to be able to extract informati...
118
click to vote
ECAI
1998
Springer
15 years 7 months ago
1998
Springer
A well-known framework by Fagin, Halpern, Moses and Vardi models knowledge-based agents as \Interpreted Systems". In this paper we analyse a particular class of interpreted sy...
109
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— As the size of the modules in a self-reconfiguring modular robotic system shrinks and the number of modules increases, the flexibility of the system as a whole increases. In ...
104
click to vote
KI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. SEASALT (Sharing Experience using an Agent-based System Architecture LayouT) presents an instantiation of the Collaborating Multi-Expert Systems (CoMES) approach [1]. It ...