2223 search results - page 190 / 445 » Hierarchical Morphable Models |
202
click to vote
EUROCRYPT
2010
Springer
15 years 9 months ago
2010
Springer
We construct an efficient identity based encryption system based on the standard learning with errors (LWE) problem. Our security proof holds in the standard model. The key step in...
177
click to vote
IJIS
2011
14 years 10 months ago
2011
In this paper, we propose a method for modeling concepts in full computation-tree logic with sequence modal operators. An extended full computation-tree logic, CTLS∗ , is introdu...
175
click to vote
EUROMICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
—We have defined a software component model which specifies components and composition operators. These operators coordinate and encapsulate concurrency between components. In ...
195
click to vote
ISI
2007
Springer
16 years 18 days ago
2007
Springer
Abstract— Community discovery has drawn significant research interests among researchers from many disciplines for its increasing application in multiple, disparate areas, inclu...
153
click to vote
DSN
2003
IEEE
15 years 11 months ago
2003
IEEE
A hierarchical modeling framework for the dependability evaluation of Internet-based applications is presented and illustrated on a travel agency example. Modeling is carried out ...