989 search results - page 176 / 198 » Version spaces and the consistency problem |
SIGMETRICS
2010
ACM
14 years 2 months ago
2010
ACM
This paper addresses the problem of determining the node locations in ad-hoc sensor networks when only connectivity information is available. In previous work, we showed that the ...
ERCIMDL
2001
Springer
14 years 2 months ago
2001
Springer
The cultural heritage domain dealing with digital surrogates of rare and fragile historic artifacts is one of the most promising areas for establishing collaboratories, i.e. shared...
ECAI
2000
Springer
14 years 2 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
OOPSLA
1999
Springer
14 years 2 months ago
1999
Springer
Inspections can be used to identify defects in software artifacts. In this way, inspection methods help to improve software quality, especially when used early in software develop...
KR
1998
Springer
14 years 2 months ago
1998
Springer
A theory is elaboration tolerant to the extent that new information can be incorporated with only simple changes. The simplest change is conjoining new information, and only conju...