908 search results - page 107 / 182 » Generating maximal models using the stable model semantics |
162
click to vote
ICCV
1995
IEEE
15 years 8 months ago
1995
IEEE
A new approach to tracking weakly modeled objects in a semantically rich domain is presented. We define a closed-world as a space-time region of an image sequence in which the co...
150
click to vote
CVPR
2010
IEEE
16 years 11 days ago
2010
IEEE
We present a method for detecting and parsing buildings from unorganized 3D point clouds into a compact, hierarchical representation that is useful for high-level tasks. The input...
171
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
143
click to vote
DAC
2000
ACM
16 years 5 months ago
2000
ACM
The effect of crosstalk errors is most significant in highperformance circuits, mandating at-speed testing for crosstalk defects. This paper describes a self-test methodology that...
139
click to vote
CICLING
2006
Springer
15 years 8 months ago
2006
Springer
We present a statistical generative model for unsupervised learning of verb argument structures. The model was used to automatically induce the argument structures for the 1,500 mo...