305 search results - page 60 / 61 » Using Answer Sets to Solve Belief Change Problems |
ELPUB
1999
ACM
13 years 9 months ago
1999
ACM
Internet based services, particularly asynchronous communication services, offer an environment suited to the rise of knowledge communities. Knowledge communities, or invisible co...
CGO
2011
IEEE
12 years 9 months ago
2011
IEEE
—Approximating ideal program outputs is a common technique for solving computationally difficult problems, for adhering to processing or timing constraints, and for performance ...
MICRO
2002
IEEE
13 years 10 months ago
2002
IEEE
Pre-execution attacks cache misses for which conventional address-prediction driven prefetching is ineffective. In pre-execution, copies of cache miss computations are isolated fr...
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing phase, fixing a bug after...
OSDI
1996
ACM
13 years 6 months ago
1996
ACM
Current operating systems offer poor performance when a numeric application's working set does not fit in main memory. As a result, programmers who wish to solve "out-of...