3446 search results - page 517 / 690 » A Reasoning Algorithm for pD* |
126
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
106
click to vote
KCAP
2009
ACM
15 years 11 months ago
2009
ACM
The POIROT project is a four-year effort to develop an architecture that integrates the products of a number of targeted reasoning and learning components to produce executable re...
132
click to vote
RECSYS
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents a new memory-based approach to Collaborative Filtering where the neighbors of the active user will be selected taking into account their predictive capability....
144
click to vote
ACSD
2008
IEEE
15 years 11 months ago
2008
IEEE
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
200
click to vote
FCCM
2008
IEEE
15 years 11 months ago
2008
IEEE
With a multitude of technological innovations, one emerging trend in image processing, and medical image processing, in particular, is custom hardware implementation of computatio...