Sciweavers

3679 search results - page 113 / 736
» Answer set based design of knowledge systems
Sort
View
MOBICOM
2004
ACM
15 years 9 months ago
Broadcast reception rates and effects of priority access in 802.11-based vehicular ad-hoc networks
One key usage of VANET is to support vehicle safety applications. This use case is characterized by the prominence of broadcasts in scaled settings. In this context, we try to ans...
Marc Torrent-Moreno, Daniel Jiang, Hannes Hartenst...
KES
2006
Springer
15 years 4 months ago
A Divergent-Style Learning Support Tool for English Learners Using a Thesaurus Diagram
This paper proposes an English learning support tool which provides users with divergent information to find the right words and expressions. In contrast to a number of software to...
Chie Shimodaira, Hiroshi Shimodaira, Susumu Kunifu...
PKC
2009
Springer
129views Cryptology» more  PKC 2009»
15 years 8 months ago
Zero-Knowledge Proofs with Witness Elimination
Abstract. Zero-knowledge proofs with witness elimination are protocols that enable a prover to demonstrate knowledge of a witness to the verifier that accepts the interaction prov...
Aggelos Kiayias, Hong-Sheng Zhou
AAAI
2011
14 years 4 months ago
Recommendation Sets and Choice Queries: There Is No Exploration/Exploitation Tradeoff!
Utility elicitation is an important component of many applications, such as decision support systems and recommender systems. Such systems query users about their preferences and ...
Paolo Viappiani, Craig Boutilier
AAAI
2010
15 years 5 months ago
A Temporal Proof System for General Game Playing
A general game player is a system that understands the rules of unknown games and learns to play these games well without human intervention. A major challenge for research in Gen...
Michael Thielscher, Sebastian Voigt