8413 search results - page 1023 / 1683 » Ordering Problem Subgoals |
173
click to vote
FM
2001
Springer
15 years 12 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking many distributed systems. Timestamps are often ...
277
click to vote
ICANN
2001
Springer
15 years 12 months ago
2001
Springer
Humans tend to group together related properties in order to understand complex phenomena. When modeling large problems with limited representational resources, it is important to...
216
click to vote
ICOIN
2001
Springer
15 years 12 months ago
2001
Springer
This paper investigates the problem of path calcul ation of multiple metric routing. Toda ’s Internet routing is based on a single metric path selecting algorithm. Single metric...
239
click to vote
ICOIN
2001
Springer
15 years 12 months ago
2001
Springer
WAP is a set of protocols that optimizes standard TCP/IP/HTTP/HTML protocols, for use under the low bandwidth, high latency conditions often found in wireless networks. But, end-t...
192
click to vote
UM
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. In this paper, we address the problem of providing guidelines to designers of mixed-initiative artificial intelligence systems, which specify when the system should take...