1063 search results - page 53 / 213 » Order and Negation as Failure |
DEDUCTIVE
1994
13 years 11 months ago
1994
Non-deterministic operators are needed in First-Order relational languages and Datalog to extend the expressive power of such languages and support efficient formulations of lowco...
IPPS
2000
IEEE
14 years 2 months ago
2000
IEEE
In order to reduce the overhead of synchronizing operations of shared memory multiprocessors, this paper proposes a mechanism, named specMEM, to execute memory accesses following ...
AAAI
2004
13 years 11 months ago
2004
Reactive planning using assumptions is a well-known approach to tackle complex planning problems for nondeterministic, partially observable domains. However, assumptions may be wr...
NETWORKING
2004
13 years 11 months ago
2004
This paper addresses bandwidth allocation for an integrated voice/data broadband mobile wireless network. Specifically, we propose a new admission control scheme called EFGC, whic...
ISBI
2004
IEEE
14 years 10 months ago
2004
IEEE
Statistical reconstruction algorithms in transmission tomography yield improved images relative to the conventional FBP method. The most popular iterative algorithms for this prob...