1421 search results - page 258 / 285 » The First and Second Max-SAT Evaluations |
AUSAI
2004
Springer
14 years 14 days ago
2004
Springer
With the explosive growth of the Internet, e-mails are regarded as one of the most important methods to send e-mails as a substitute for traditional communications. As e-mail has b...
COOPIS
2004
IEEE
14 years 14 days ago
2004
IEEE
In application server systems, such as J2EE, replication is an essential strategy for reliability and efficiency. Many J2EE implementations, both commercial and open-source, provid...
ECCV
2006
Springer
14 years 12 days ago
2006
Springer
Abstract. This paper presents an endoscopic vision framework for modelbased 3D guidance of surgical instruments used in robotized laparoscopic surgery. In order to develop such a s...
LCR
2000
Springer
14 years 9 days ago
2000
Springer
We present a new run-time system for typed programming languages that supports object sharing in a distributed system. The key insight in this system is that the ability to distin...
POPL
1995
ACM
14 years 7 days ago
1995
ACM
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many com...