4134 search results - page 744 / 827 » Collaborative Practice Research |
119
Voted
CVRMED
1997
Springer
15 years 7 months ago
1997
Springer
During the past year our group has been developing HipNav, a system which helps surgeons determine optimal, patient-specific acetabular implant placement and accurately achieve the...
113
click to vote
IUI
1993
ACM
15 years 7 months ago
1993
ACM
We discuss current approaches to the development of natural language dialogue systems, and claim that they do not sufficiently consider the unique qualities of man-machine intera...
168
click to vote
PODC
1994
ACM
15 years 7 months ago
1994
ACM
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...
129
Voted
COOPIS
2004
IEEE
15 years 6 months 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...
124
click to vote
CSL
2006
Springer
15 years 6 months ago
2006
Springer
The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the eme...