891 search results - page 33 / 179 » Full Abstraction for PCF |
ACCV
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. Full body performance capture is a promising emerging technology that has been intensively studied in Computer Graphics and Computer Vision over the last decade. Highly-d...
INFOCOM
2012
IEEE
11 years 10 months ago
2012
IEEE
Abstract—Providing adequate Wi-Fi services to meet user demand in densely populated environments has been a fundamental challenge for Wi-Fi networks. In this paper, we explore th...
ICSE
2012
IEEE-ACM
11 years 10 months ago
2012
IEEE-ACM
Abstract—Software testing is an expensive and time consuming process, often involving the manual creation of comprehensive regression test suites. However, current testing method...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— ABBA codes are an important class of quasiorthogonal space-time block codes proposed by Tirkkonen et al.. Recently, they have become more attractive for practical appli...
TCC
2012
Springer
12 years 3 months ago
2012
Springer
The hash-and-sign RSA signature is one of the most elegant and well known signatures schemes, extensively used in a wide variety of cryptographic applications. Unfortunately, the o...