Sciweavers

575 search results - page 35 / 115
» Wichita State University
Sort
View
FM
1994
Springer
113views Formal Methods» more  FM 1994»
13 years 12 months ago
Abstract Model Checking of Infinite Specifications
Model Checking of Infinite Specifications Daniel Jackson School of Computer Science Carnegie Mellon University Pittsburgh, PA A new method for analyzing specifications in languages...
Daniel Jackson
CVPR
2009
IEEE
15 years 3 months ago
A Streaming Framework for Seamless Building Reconstruction from Large-Scale Aerial LiDAR Data
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 ...
Qian-Yi Zhou (University of Southern California), ...
CVPR
2009
IEEE
2216views Computer Vision» more  CVPR 2009»
15 years 3 months ago
Object Detection using a Max-Margin Hough Transform
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 ...
Subhransu Maji (University of California, Berkeley...
CVPR
2009
IEEE
15 years 2 months ago
Holistic Context Modeling using Semantic Co-occurrences
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...
Nikhil Rasiwasia (University Of California, San Di...
CVPR
2009
IEEE
15 years 2 months ago
Linear Embeddings in Non-Rigid Structure From Motion
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...
Vincent Rabaud (University of California, San Dieg...