2041 search results - page 61 / 409 » Modelling Generic Judgements |
105
click to vote
IACR
2011
14 years 2 months ago
2011
We aim at constructing adaptive oblivious transfer protocols, enjoying fully simulatable security, from various well-known assumptions such as DDH, d-Linear, QR, DCR, and LWE. To t...
109
Voted
ICPR
2004
IEEE
16 years 3 months ago
2004
IEEE
Fish-eye lenses are convenient in such computer vision applications where a very wide angle of view is needed. However, their use for measurement purposes is limited by the lack o...
133
Voted
AOSD
2010
ACM
15 years 9 months ago
2010
ACM
The development of complex software requires the implementation of functions over a variety of recursively defined data structures. The design (and modeling) of structures can it...
170
Voted
AUTONOMICS
2009
ACM
15 years 9 months ago
2009
ACM
Abstract. Autonomic computing is being advocated as a tool for managing large, complex computing systems. Specifically, self-organisation provides a suitable approach for developi...
122
Voted
PADL
2004
Springer
15 years 8 months ago
2004
Springer
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...