5550 search results - page 197 / 1110 » Different Approaches to Proof Systems |
204
click to vote
MHCI
2004
Springer
15 years 12 months ago
2004
Springer
Developing personalized applications for the ubiquitous Web assumes to provide different user interfaces addressing heterogeneous capabilities of device classes. Major problems are...
183
click to vote
ICTAC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Many software applications are based on collaborating, yet competing, agents or virtual organisations exchanging services. Contracts, expressing obligations, permissions ...
182
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
We extend the Camenisch-Lysyanskaya anonymous credential system such that selective disclosure of attributes becomes highly efficient. The resulting system significantly improves ...
202
click to vote
ACL
2011
14 years 10 months ago
2011
We present a simple semi-supervised relation extraction system with large-scale word clustering. We focus on systematically exploring the effectiveness of different cluster-based ...
181
click to vote
ECIR
2008
Springer
15 years 8 months ago
2008
Springer
We propose a new approach to a music search engine that can be accessed via natural language queries. As with existing approaches, we try to gather as much contextual information a...