4498 search results - page 279 / 900 » How to Invent Functions |
134
click to vote
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
We consider the correspondence problem associated with the non-rigid registration of a group of images; in particular, the theoretical basis for the derivation of the objective fu...
117
click to vote
CHI
2004
ACM
16 years 5 months ago
2004
ACM
We have observed numerous times how young children find it difficult to use software that provides different functionality with each mouse button. To better learn how young childr...
134
click to vote
ICFP
2003
ACM
16 years 4 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...
177
click to vote
PLPV
2009
ACM
16 years 1 months ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
124
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
Conventional cryptography uses encryption key, which are long bit strings and are very hard to memorize such a long random numbers. Also it can be easily attacked by using the brut...