1604 search results - page 113 / 321 » Development Separation in Lambda-Calculus |
JOT
2008
13 years 10 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
INTERNET
2007
13 years 10 months ago
2007
it’s hardly Earth-shattering: abstracting your business services and separating them from your applications can yield an overall system that’s easier to build, maintain, and ex...
BIB
2011
13 years 1 months ago
2011
Developments in whole genome biotechnology have stimulated statistical focus on prediction methods. We review here methodology for classifying patients into survival risk groups a...
CVPR
2006
IEEE
15 years 10 days ago
2006
IEEE
We develop a novel technique for measuring lighting that exploits the interaction of light with a set of custom BRDFs. This enables the construction of a planar light probe with c...
ICIP
2008
IEEE
15 years 1 days ago
2008
IEEE
Digital images have seen increased use in applications where their authenticity is of prime importance. This proves to be problematic due to the widespread availability of digital...