1180 search results - page 143 / 236 » A generic structure-from-motion framework |
LICS
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
CISIM
2007
IEEE
14 years 4 months ago
2007
IEEE
The standard digital signature scheme can be easily subject to key exposure problem In order to overcome this problem; a feasible and effective approach is employed by key-evolving...
COMSWARE
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— Lack of generic digital rights management applications has stunted the growth of the media distribution industry. In this paper we point out the need for middleware ser...
FGCN
2007
IEEE
14 years 4 months ago
2007
IEEE
Reliable Server Pooling (RSerPool) is a protocol framework for server redundancy and session failover, currently still under standardization by the IETF RSerPool WG. An important ...
GLOBECOM
2007
IEEE
14 years 4 months ago
2007
IEEE
— In this paper we evaluate outage performance of a cooperative transmission protocol over fading channels that requires a number of relaying nodes to employ a distributed space-...