981 search results - page 151 / 197 » Negation in Spatial Reasoning |
ICLP
2007
Springer
15 years 1 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
DLOG
2004
14 years 11 months ago
2004
Interoperability among systems using different term vocabularies requires mappings between them. Matching applications generate these mappings. When the matching process utilizes ...
DGO
2006
14 years 11 months ago
2006
Cyberoptimists have heralded an age of citizen engagement enabled by electronic technologies that allow widespread citizen input in government decision making. In contrast, influe...
SIGMETRICS
2008
ACM
14 years 9 months ago
2008
ACM
Getting new security features and protocols to be widely adopted and deployed in the Internet has been a continuing challenge. There are several reasons for this, in particular ec...
PROMISE
2010
14 years 4 months ago
2010
Background: Automated diagnosis of software defects can drastically increase debugging efficiency, improving reliability and time-to-market. Current, low-cost, automatic fault dia...