Sciweavers

5623 search results - page 5 / 1125
» Incremental Mechanism Design
Sort
View
ICLP
2009
Springer
16 years 8 months ago
Incremental Answer Completion in the SLG-WAM
The SLG-WAM of XSB Prolog soundly implements the Well-Founded Semantics (WFS) for logic programs, but in a few pathological cases its engine treats atoms as undefined that are true...
Alexandre Miguel Pinto, Luís Moniz Pereira,...
187
Voted
ECBS
2010
IEEE
146views Hardware» more  ECBS 2010»
16 years 22 days ago
Design-Space Exploration through Constraint-Based Model-Transformation
Abstract—Many design steps during system development like functional partitioning, refactoring of the architecture, or the mapping to the platform - can be understood as an explo...
Bernhard Schätz, Florian Hölzl, Torbj&ou...
188
Voted
KBS
1998
64views more  KBS 1998»
15 years 7 months ago
An incremental retrieval mechanism for case-based electronic fault diagnosis
One problem with using CBR for diagnosis is that a full case description may not be available at the beginning of the diagnosis. The standard CBR methodology requires a detailed c...
Padraig Cunningham, Barry Smyth, Andrea Bonzano
136
Voted
CCS
2007
ACM
16 years 1 months ago
BASE: an incrementally deployable mechanism for viable IP spoofing prevention
Heejo Lee, Minjin Kwon, Geoffrey Hasker, Adrian Pe...
133
Voted
AAAI
2006
15 years 8 months ago
Regret-based Incremental Partial Revelation Mechanisms
Nathanael Hyafil, Craig Boutilier