215 search results - page 15 / 43 » Integrating Abduction and Induction |
LPNMR
1995
Springer
13 years 11 months ago
1995
Springer
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
ICCAD
2000
IEEE
14 years 3 days ago
2000
IEEE
In this paper, we propose a novel misted-bundle layout structure for minimizing inductive coupling noise. In this structure,we create severalrouting regions and re-order the routi...
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
Google’s project to digitize five of the world's greatest libraries will dramatically extend their search engine reach in the future. Current search-engine philosophy, which...
IJCCBS
2010
13 years 6 months ago
2010
: The overall safety integrity of a safety critical system, comprising both software and hardware, is typically specified quantitatively, e.g., in terms of failure rates. However, ...
IAT
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper, we tackle learning in distributed systems and the fact that learning does not necessarily involve the participation of agents directly in the inductive process itse...