Sciweavers

5623 search results - page 5 / 1125
» Incremental Mechanism Design
Sort
View
242
Voted
ICLP
2009
Springer
16 years 6 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,...
ECBS
2010
IEEE
146views Hardware» more  ECBS 2010»
15 years 11 months 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...
KBS
1998
64views more  KBS 1998»
15 years 5 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
CCS
2007
ACM
15 years 11 months ago
BASE: an incrementally deployable mechanism for viable IP spoofing prevention
Heejo Lee, Minjin Kwon, Geoffrey Hasker, Adrian Pe...