6919 search results - page 349 / 1384 » Designing Service Communities |
168
click to vote
UIST
2005
ACM
16 years 10 days ago
2005
ACM
Decision-theoretic optimization is becoming a popular tool in the user interface community, but creating accurate cost (or utility) functions has become a bottleneck — in most c...
142
Voted
ERCIMDL
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The works of a significant author are accompanied by a variety of artifacts ranging from the scholarly to the popular. In order to better support the needs of the scholar...
164
click to vote
JCDL
2003
ACM
16 years 20 hour ago
2003
ACM
1 This paper introduces SCENS, a Secure Content Exchange Negotiation System suitable for the exchange of private digital data that reside in distributed digital repositories. SCENS...
166
click to vote
ICDCS
2000
IEEE
15 years 11 months ago
2000
IEEE
Replication is an area of interest to both distributed systems and databases. The solutions developed from these two perspectives are conceptually similar but differ in many aspec...
169
click to vote
TPHOL
1996
IEEE
15 years 11 months ago
1996
IEEE
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...