4609 search results - page 711 / 922 » Automatic Generation of Sigma-Protocols |
172
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
170
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
Although mobile services can be used ubiquitously, their employment and the interaction with them are still restricted by the constraints of mobile devices. In order to facilitate...
178
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
This paper presents novel text input methods for mobile devices. In particular, it shows how users can capture text from books, newspapers, and other objects by using the digital ...
142
click to vote
MOBISYS
2005
ACM
16 years 6 months ago
2005
ACM
? We present a system for automatic monitoring and timely dissemination of multimedia information to a range of mobile information appliances based on each user's interest pro...
181
click to vote
DCC
2007
IEEE
16 years 6 months ago
2007
IEEE
In this paper we propose a new motion compensated prediction technique that enables successful predictive encoding during fades, blended scenes, temporally decorrelated noise, and...