8197 search results - page 249 / 1640 » Adaptive functional programming |
156
click to vote
ASSETS
2006
ACM
15 years 10 months ago
2006
ACM
Assistive technology for wayfinding will significantly improve the quality of life for many individuals with cognitive impairments. The user interface of such a system is as cruci...
201
click to vote
EUROCRYPT
2000
Springer
15 years 10 months ago
2000
Springer
The cryptosystem recently proposed by Cramer and Shoup [CS98] is a practical public key cryptosystem that is secure against adaptive chosen ciphertext attack provided the Decision...
176
click to vote
CAGD
2005
15 years 6 months ago
2005
In this paper, we propose a new quadrilateral remeshing method for manifolds of arbitrary genus that is at once general, flexible, and efficient. Our technique is based on the use...
285
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
Languages such as Java and C#, as well as scripting languages like Python, and Ruby, make extensive use of Collection classes. A collection implementation represents a fixed choic...
290
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...