4498 search results - page 111 / 900 » How to Invent Functions |
ICIP
2005
IEEE
14 years 11 months ago
2005
IEEE
We consider an interactive browsing environment, with greedy optimization of a current view, conditioned on the availability of previously transmitted information for other (possi...
POPL
2003
ACM
14 years 10 months ago
2003
ACM
We show how to efficiently obtain linear a priori bounds on the heap space consumption of first-order functional programs. The analysis takes space reuse by explicit deallocation ...
ICCAD
2008
IEEE
14 years 7 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
MOBISEC
2009
Springer
14 years 4 months ago
2009
Springer
The Belgian Electronic Identity Card was introduced in 2002. The card enables Belgian citizens to prove their identity digitally and to sign electronic documents. Today, only a lim...
CIBCB
2007
IEEE
14 years 4 months ago
2007
IEEE
The integration of diverse data sets into probabilistic functional networks is an active and important area of research in systems biology. In this paper we fracture a previously p...