Sciweavers

9028 search results - page 1563 / 1806
» Human-Computer Interaction Experiments
Sort
View
ICCV
2011
IEEE
14 years 6 months ago
Active Scene Recognition with Vision and Language
This paper presents a novel approach to utilizing high level knowledge for the problem of scene recognition in an active vision framework, which we call active scene recognition. ...
Xiaodong Yu, Teo Ching Lik, Yezhou Yang, Cornelia ...
FROCOS
2011
Springer
14 years 6 months ago
Automatic Proof and Disproof in Isabelle/HOL
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
Jasmin Christian Blanchette, Lukas Bulwahn, Tobias...
CORR
2012
Springer
204views Education» more  CORR 2012»
14 years 2 months ago
A Framework for Optimizing Paper Matching
At the heart of many scientific conferences is the problem of matching submitted papers to suitable reviewers. Arriving at a good assignment is a major and important challenge fo...
Laurent Charlin, Richard S. Zemel, Craig Boutilier
PAMI
2012
13 years 9 months ago
Fast Joint Estimation of Silhouettes and Dense 3D Geometry from Multiple Images
—We propose a probabilistic formulation of joint silhouette extraction and 3D reconstruction given a series of calibrated 2D images. Instead of segmenting each image separately i...
Kalin Kolev, Thomas Brox, Daniel Cremers
SDM
2012
SIAM
305views Data Mining» more  SDM 2012»
13 years 9 months ago
Learning Hierarchical Relationships among Partially Ordered Objects with Heterogeneous Attributes and Links
Objects linking with many other objects in an information network may imply various semantic relationships. Uncovering such knowledge is essential for role discovery, data cleanin...
Chi Wang, Jiawei Han, Qi Li, Xiang Li, Wen-Pin Lin...
« Prev « First page 1563 / 1806 Last » Next »