Sciweavers

422 search results - page 12 / 85
» A Model of Plausibility
Sort
View
CVPR
2009
IEEE
16 years 4 months ago
Geometric Reasoning for Single Image Structure Recovery
We study the problem of generating plausible interpretations of a scene from a collection of line segments automatically extracted from a single indoor image. We show that we ca...
David C. Lee, Martial Hebert, Takeo Kanade
ALT
2009
Springer
15 years 6 months ago
Agnostic Clustering
Motivated by the principle of agnostic learning, we present an extension of the model introduced by Balcan, Blum, and Gupta [3] on computing low-error clusterings. The extended mod...
Maria-Florina Balcan, Heiko Röglin, Shang-Hua...
COLING
2010
14 years 4 months ago
Syntax-Driven Machine Translation as a Model of ESL Revision
In this work, we model the writing revision process of English as a Second Language (ESL) students with syntaxdriven machine translation methods. We compare two approaches: tree-t...
Huichao Xue, Rebecca Hwa
ATAL
2009
Springer
15 years 4 months ago
Rational play and rational beliefs under uncertainty
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
Nils Bulling, Wojciech Jamroga
DSVIS
2008
Springer
14 years 11 months ago
Resources for Situated Actions
In recent years, advances in software tools have made it easier to analyze interactive system specifications, and the range of their possible behaviors. However, the effort involve...
Gavin J. Doherty, José Creissac Campos, Mic...