83 search results - page 11 / 17 » From Invariants to Canonization in Parallel |
151
click to vote
ICS
2010
Tsinghua U.
16 years 1 months ago
2010
Tsinghua U.
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...
107
click to vote
EDO
2000
Springer
15 years 8 months ago
2000
Springer
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...
132
click to vote
PPSN
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Taking inspiration from approximate ranking, this paper investigates the use of rank-based Support Vector Machine as surrogate model within CMA-ES, enforcing the invarian...
120
click to vote
ECCV
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. We develop new mathematical results based on the spherical harmonic convolution framework for reflection from a curved surface. We derive novel identities, which are the ...
153
click to vote
MICCAI
2008
Springer
16 years 5 months ago
2008
Springer
We propose a method that computes a conformal mapping from a multiply connected mesh to the so-called slit domain, which consists of a canonical rectangle or disk in which 3D curve...