3363 search results - page 193 / 673 » A Framework for Knowledge Reuse |
147
Voted
HRI
2010
ACM
15 years 9 months ago
2010
ACM
— Assisting humans in their daily lives requires robots to be proficient in manual tasks and effective in communicating states/intentions with human users. This paper advocates ...
155
Voted
FM
1991
Springer
15 years 8 months ago
1991
Springer
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
141
Voted
ATAL
2009
Springer
15 years 5 months ago
2009
Springer
MAGE (Multi-Agent Game Environment) is a logic-based framework that uses games as a metaphor for representing complex agent activities within an artificial society. More specifical...
156
click to vote
JSC
2002
15 years 4 months ago
2002
We describe a framework of algebraic structures in the proof assistant Coq. We have developed this framework as part of the FTA project in Nijmegen, in which a constructive proof ...
147
click to vote
CLEIEJ
2007
15 years 4 months ago
2007
Framework based application development is increasingly being adopted by software organizations. Frameworks provide reuse of both software design and code, and supply more trustab...