8701 search results - page 1430 / 1741 » XML-Based Feature Modelling |
137
click to vote
ACNS
2010
Springer
15 years 7 months ago
2010
Springer
Verifiably encrypted signature schemes (VES) allow a signer to encrypt his or her signature under the public key of a trusted third party, while maintaining public signature verifi...
141
click to vote
COORDINATION
2008
Springer
15 years 6 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
141
click to vote
DOCENG
2008
ACM
15 years 6 months ago
2008
ACM
Several scalable media codecs have been standardized in recent years to cope with heterogeneous usage conditions and to aim at always providing audio, video and image content in t...
138
click to vote
AAAI
2010
15 years 6 months ago
2010
Lifting can greatly reduce the cost of inference on firstorder probabilistic graphical models, but constructing the lifted network can itself be quite costly. In online applicatio...
149
click to vote
AVI
2004
15 years 5 months ago
2004
In this paper we present a novel integrated 3D editing environment that combines recent advantages in various fields of computer graphics, such as shape modelling, video-based Hum...