15754 search results - page 631 / 3151 » Programs are Knowledge Bases |
198
click to vote
AAAI
2006
15 years 8 months ago
2006
Both explanation-based and inductive learning techniques have proven successful in a variety of distributed domains. However, learning in multi-agent systems does not necessarily ...
190
click to vote
PC
2006
15 years 7 months ago
2006
Parallel application development is a very difficult task for non-expert programmers, and therefore support tools are needed for all phases of this kind of application development...
190
click to vote
UM
2010
Springer
15 years 5 months ago
2010
Springer
Semantically-enhanced Ubiquitous User Modeling aims at the management of distributed user models and the integration into ontologies to share user information amongst adaptive appl...
129
click to vote
AI
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we investigate the extent to which knowledge compilation can be used to improve model checking and inference from propositional weighted bases. We first focus on th...
184
click to vote
DDECS
2008
IEEE
16 years 1 months ago
2008
IEEE
— Testing SoC is a challenging task, especially when addressing complex and highfrequency devices. Among the different techniques that can be exploited, Software-Based Selft-Test...