797 search results - page 104 / 160 » Observing Success in the Pi-Calculus |
JAR
2000
14 years 9 months ago
2000
Local search algorithms are among the standard methods for solving hard combinatorial problems from various areas of Artificial Intelligence and Operations Research. For SAT, some ...
JNSM
2000
14 years 9 months ago
2000
The successful deployment of next-generation distributed multimedia systems is signi cantly dependent on the e cient management support that improves the performance and the relia...
RAS
2000
14 years 9 months ago
2000
A mobile agent with the task to classify its sensor pattern has to cope with ambiguous information. Active recognition of three-dimensional objects involves the observer in a sear...
JCNS
2002
14 years 9 months ago
2002
Abstract. We present a biologically plausible model of binocular rivalry consisting of a network of HodgkinHuxley type neurons. Our model accounts for the experimentally and psycho...
CSCW
1999
ACM
14 years 9 months ago
1999
ACM
Voice loops, an auditory groupware technology, are essential coordination support tools for experienced practitioners in domains such as air traffic management, aircraft carrier o...