3893 search results - page 514 / 779 » Graded-Inclusion-Based Information Retrieval Systems |
157
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
132
click to vote
ISMIR
2005
Springer
15 years 10 months ago
2005
Springer
Selecting the ‘right’ songs and putting them in the ‘right’ order are key to a great music listening or dance experience. ‘SatisFly’ is an interactive playlist generat...
132
Voted
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
122
click to vote
MHCI
2004
Springer
15 years 10 months ago
2004
Springer
We describe the implementation of an interaction technique which allows users to store and retrieve information and computational functionality on different parts of their body. W...
161
Voted
EWCBR
1998
Springer
15 years 9 months ago
1998
Springer
This paper presents the CARE-PARTNER system. Functionally, it offers via the WWW knowledge-support assistance to clinicians responsible for the long-term follow-up of stem-cell pos...