Sciweavers

5726 search results - page 1029 / 1146
» Supporting annotations on relations
Sort
View
TPHOL
1997
IEEE
14 years 1 months ago
An Isabelle-Based Theorem Prover for VDM-SL
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
Sten Agerholm, Jacob Frost
GIS
2004
ACM
14 years 10 months ago
A serverless 3D world
Online multi-participant virtual-world systems have attracted significant interest from the Internet community but are hindered by their inability to efficiently support interacti...
Egemen Tanin, Aaron Harwood, Hanan Samet, Sarana N...
CVPR
2004
IEEE
14 years 11 months ago
High-Speed Videography Using a Dense Camera Array
We demonstrate a system for capturing multi-thousand frame-per-second (fps) video using a dense array of cheap 30fps CMOS image sensors. A benefit of using a camera array to captu...
Bennett Wilburn, Neel Joshi, Vaibhav Vaish, Marc L...
CVPR
2008
IEEE
14 years 11 months ago
Margin-based discriminant dimensionality reduction for visual recognition
Nearest neighbour classifiers and related kernel methods often perform poorly in high dimensional problems because it is infeasible to include enough training samples to cover the...
Hakan Cevikalp, Bill Triggs, Frédéri...
CVPR
2008
IEEE
14 years 11 months ago
Max Margin AND/OR Graph learning for parsing the human body
We present a novel structure learning method, Max Margin AND/OR Graph (MM-AOG), for parsing the human body into parts and recovering their poses. Our method represents the human b...
Long Zhu, Yuanhao Chen, Yifei Lu, Chenxi Lin, Alan...
« Prev « First page 1029 / 1146 Last » Next »