15 search results - page 1 / 3 » Transporting functions across ornaments |
127
click to vote
ICFP
2012
ACM
13 years 2 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
97
Voted
DPHOTO
2009
14 years 10 months ago
2009
In this paper we present an approach to extend the Depth-of-Field (DoF) for cell phone miniature camera by concurrently optimizing optical system and post-capture digital processi...
108
Voted
BMCBI
2008
15 years 16 days ago
2008
Background: Discriminating membrane proteins based on their functions is an important task in genome annotation. In this work, we have analyzed the characteristic features of amin...
89
Voted
SI3D
2006
ACM
15 years 6 months ago
2006
ACM
We propose a real-time method for rendering rigid objects with complex view-dependent effects under distant all-frequency lighting. Existing precomputed light transport approaches...
92
Voted
CSUR
2000
15 years 7 days ago
2000
Many object-oriented frameworks exhibit a high density of design pattern applications. Usually, there are more instances in a framework than there are abstract classes. Yet, only ...