Sciweavers

1828 search results - page 92 / 366
» First-Class Type Classes
Sort
View
155
Voted
CVPR
2012
IEEE
13 years 5 months ago
Accidental pinhole and pinspeck cameras: Revealing the scene outside the picture
We identify and study two types of “accidental” images that can be formed in scenes. The first is an accidental pinhole camera image. These images are often mistaken for shad...
Antonio Torralba, William T. Freeman
TLDI
2005
ACM
102views Formal Methods» more  TLDI 2005»
15 years 8 months ago
An open and shut typecase
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie...
124
Voted
EJC
2007
15 years 2 months ago
The exceptional hyperplanes of DH(5, 4)
In [2], we showed the existence of five isomorphism classes of hyperplanes in each dual polar space of type DH(5, q2). We also proved there that every hyperplane of DH(5, q2) bel...
Bart De Bruyn, Harm Pralle
JOT
2006
121views more  JOT 2006»
15 years 2 months ago
Constructing persistent object-oriented models with standard C++
In this paper, it is suggested an approach and a design pattern for developing object-oriented models that need to be persistent, including the databases of moderate size, with us...
Alexander Kozynchenko
171
Voted
CRV
2011
IEEE
254views Robotics» more  CRV 2011»
14 years 2 months ago
Wavelet Model-based Stereo for Fast, Robust Face Reconstruction
—When reconstructing a specific type or class of object using stereo, we can leverage prior knowledge of the shape of that type of object. A popular class of object to reconstru...
Alan Brunton, Jochen Lang, Eric Dubois, Chang Shu