2335 search results - page 233 / 467 » Functional Differentiation of Computer Programs |
109
click to vote
CASSIS
2004
Springer
15 years 7 months ago
2004
Springer
We present the Mobile Resource Guarantees framework: a system for ensuring that downloaded programs are free from run-time violations of resource bounds. Certificates are attached...
111
click to vote
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper gives a reduction-preserving translation from Coquand's dependent pattern matching [4] into a traditional type theory [11] with universes, inductive types...
113
click to vote
TCSB
2010
15 years 21 days ago
2010
Abstract. The process through which disordered components spontaneously arrange themselves into patterns is called self-assembly. Molecular self-assembly describes the process by w...
119
click to vote
CVPR
2008
IEEE
16 years 4 months ago
2008
IEEE
Graphical models are fundamental tools for modeling images and other applications. In this paper, we propose the Logistic Random Field (LRF) model for representing a discrete-valu...
134
click to vote
ICCV
2007
IEEE
16 years 4 months ago
2007
IEEE
We consider the problem of reconstructing the shape of a surface with an arbitrary, spatially varying isotropic bidirectional reflectance distribution function (BRDF), and introdu...