Sciweavers

464 search results - page 77 / 93
» Enjoy the Paper: Lexicology
Sort
View
AAAI
2008
14 years 12 months ago
Prime Implicate Normal Form for ALC Concepts
In this paper, we present a normal form for concept expressions in the description logic ALC which is based on a recently introduced notion of prime implicate for the modal logic ...
Meghyn Bienvenu
AISB
2008
Springer
14 years 11 months ago
The Plaited Structure of Time in Information Technology
Abstract. The aim of this paper is to try to understand the structure of time in information technologies. Starting with historical arguments, it first shows that time is neither l...
Jean-Gabriel Ganascia
EUROCRYPT
2008
Springer
14 years 11 months ago
Efficient Non-interactive Proof Systems for Bilinear Groups
Non-interactive zero-knowledge proofs and non-interactive witness-indistinguishable proofs have played a significant role in the theory of cryptography. However, lack of efficienc...
Jens Groth, Amit Sahai
HCI
2007
14 years 11 months ago
Emotionally Expressive Avatars for Chatting, Learning and Therapeutic Intervention
We present our work on emotionally expressive avatars, animated virtual characters that can express emotions via facial expressions. Because these avatars are highly distinctive an...
Marc Fabri, Salima Y. Awad Elzouki, David J. Moore
NIPS
2004
14 years 11 months ago
An Investigation of Practical Approximate Nearest Neighbor Algorithms
This paper concerns approximate nearest neighbor searching algorithms, which have become increasingly important, especially in high dimensional perception areas such as computer v...
Ting Liu, Andrew W. Moore, Alexander G. Gray, Ke Y...