Sciweavers

1573 search results - page 3 / 315
» Signs and Formal Concepts
Sort
View
CANS
2009
Springer
276views Cryptology» more  CANS 2009»
14 years 9 months ago
Group Signatures with Verifier-Local Revocation and Backward Unlinkability in the Standard Model
Group signatures allow users to anonymously sign messages in the name of a group. Membership revocation has always been a critical issue in such systems. In 2004, Boneh and Shacham...
Benoît Libert, Damien Vergnaud
93
Voted
WSCG
2003
160views more  WSCG 2003»
15 years 1 months ago
Avatar Gestures
This paper describes the concept and control of a 3d Avatar system with mimic and gestures as a conversational user interface. The Avatar system including gestures and mimic is ba...
Thomas Rieger
TKDE
2012
226views Formal Methods» more  TKDE 2012»
13 years 2 months ago
DDD: A New Ensemble Approach for Dealing with Concept Drift
—Online learning algorithms often have to operate in the presence of concept drifts. A recent study revealed that different diversity levels in an ensemble of learning machines a...
Leandro L. Minku, Xin Yao
ECAI
2004
Springer
15 years 3 months ago
Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae
We introduce a uniform approach of representing a variety of paraconsistent non-monotonic formalisms by quantified Boolean formulae (QBFs) in the context of four-valued semantics. ...
Ofer Arieli