2607 search results - page 399 / 522 » Complete Functional Synthesis |
137
Voted
PKC
2007
Springer
15 years 8 months ago
2007
Springer
: This paper addresses the security of optimistic fair exchange in a multi-user setting. While the security of public key encryption and public key signature schemes in a single-us...
115
Voted
TARK
2007
Springer
15 years 8 months ago
2007
Springer
Social choice rules are often evaluated and compared by inquiring whether they fulfill certain desirable criteria such as the Condorcet criterion, which states that an alternativ...
126
Voted
WEBI
2007
Springer
15 years 8 months ago
2007
Springer
Web sites are often organized into several regions, each dedicated to a specific topic or serving a particular function. From a user’s perspective, these regions typically form ...
125
Voted
3DPVT
2006
IEEE
15 years 8 months ago
2006
IEEE
The use of surface harmonics for rigid and nonrigid shape description is well known. In this paper we define a set of complete hemispherical harmonic basis functions on a hemisph...
127
Voted
3DPVT
2006
IEEE
15 years 8 months ago
2006
IEEE
We present a high performance reconstruction approach, which generates true 3D models from multiple views with known camera parameters. The complete pipeline from depth map genera...