8874 search results - page 416 / 1775 » A New Implementation of Automath |
197
click to vote
ICMAS
2000
15 years 9 months ago
2000
We present a method for multi-agent negotiation for implementing a distributed meeting scheduler. In the meeting scheduler, an agent negotiates with other agents about making an p...
212
click to vote
AAAI
1997
15 years 9 months ago
1997
CNF-BCP is a well-known propositional reasoner that extends clausal Boolean Constraint Propagation (BCP) to non-clausal theories. Although BCP has efficient linear-time implementa...
192
click to vote
FORTE
1997
15 years 9 months ago
1997
This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, inclu...
229
Voted
OSDI
2000
ACM
15 years 9 months ago
2000
ACM
This paper describes the implementation and evaluation of an operating system module, the Congestion Manager (CM), which provides integrated network flow management and exports a ...
193
click to vote
WSCG
2000
15 years 9 months ago
2000
This paper presents an immersive virtual environment which allows the user to virtually explore and experience special relativity, including phenomena such as Lorentz contraction,...