575 search results - page 35 / 115 » Wichita State University |
114
Voted
FM
1994
Springer
15 years 7 months ago
1994
Springer
Model Checking of Infinite Specifications Daniel Jackson School of Computer Science Carnegie Mellon University Pittsburgh, PA A new method for analyzing specifications in languages...
188
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
We present a streaming framework for seamless building reconstruction from huge aerial LiDAR point sets. By storing data as stream files on hard disk and using main memory as only ...
184
Voted
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
We present a discriminative Hough transform based ob-
ject detector where each local part casts a weighted vote for
the possible locations of the object center. We show that the
...
153
Voted
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
We present a simple framework to model contextual
relationships between visual concepts. The new framework
combines ideas from previous object-centric methods
(which model conte...
151
Voted
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
This paper proposes a method to recover the embedding
of the possible shapes assumed by a deforming nonrigid
object by comparing triplets of frames from an orthographic
video se...