Sciweavers

629 search results - page 52 / 126
» Providing Justifications in Recommender Systems
Sort
View
C5
2007
IEEE
14 years 2 months ago
Wild, Wild Wikis: A way forward
Wikis can be considered as public domain knowledge sharing system. They provide opportunity for those who may not have the privilege to publish their thoughts through the traditio...
Robert Charles, Adigun Ranmi
AAAI
2006
13 years 9 months ago
Inferring User's Preferences using Ontologies
We consider recommender systems that filter information and only show the most preferred items. Good recommendations can be provided only when an accurate model of the user's...
Vincent Schickel-Zuber, Boi Faltings
HICSS
2000
IEEE
135views Biometrics» more  HICSS 2000»
14 years 4 days ago
The IT Performance Evaluation in the Construction Industry
To date there has been limited published work in the construction management and engineering literature that has provided empirical evidence to demonstrate that IT can improve org...
Heng Li, Zahir Irani, Peter E. D. Love
HASE
1998
IEEE
13 years 12 months ago
Verification in Concurrent Programming with Petri Nets Structural Techniques
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
Kamel Barkaoui, Jean-François Pradat-Peyre
CSFW
2004
IEEE
13 years 11 months ago
Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
Michael Backes, Birgit Pfitzmann