2335 search results - page 233 / 467 » Functional Differentiation of Computer Programs |
152
click to vote
CASSIS
2004
Springer
15 years 11 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...
156
click to vote
BIRTHDAY
2006
Springer
15 years 10 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...
155
Voted
TCSB
2010
15 years 4 months 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...
170
click to vote
CVPR
2008
IEEE
16 years 8 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...
186
click to vote
ICCV
2007
IEEE
16 years 8 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...