1006 search results - page 109 / 202 » What is this page known for |
ISBI
2008
IEEE
14 years 9 months ago
2008
IEEE
Craniosynostosis is a congenital disease which consists of premature fusion of one or more cranial sutures, resulting in an abnormal head shape. Patients are usually treated by cr...
STOC
2009
ACM
14 years 9 months ago
2009
ACM
We present an improved oracle for the distance sensitivity problem. The goal is to preprocess a directed graph G = (V, E) with non-negative edge weights to answer queries of the f...
CADE
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. In functional programming languages the use of infinite structures is common practice. For total correctness of programs dealing with infinite structures one must guarant...
EUROCRYPT
2009
Springer
14 years 9 months ago
2009
Springer
We propose a methodology to construct verifiable random functions from a class of identity based key encapsulation mechanisms (IB-KEM) that we call VRF suitable. Informally, an IB-...
VMCAI
2010
Springer
14 years 6 months ago
2010
Springer
Shape analyses (Chase et al. 1990, Sagiv et al. 2002) discover properties of dynamic and/or mutable structures. We ask, "Is there an equivalent to shape analysis for purely fu...