2519 search results - page 347 / 504 » Reasoning with Textual Cases |
173
click to vote
VSTTE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
178
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
From the recovery of structure from motion to the separation of style and content, many problems in computer vision have been successfully approached by using bilinear models. The...
158
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Prior distributions are useful for robust low-level vision, and undirected models (e.g. Markov Random Fields) have become a central tool for this purpose. Though sometimes these p...
171
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
This paper describes a system that can build appearance models of animals automatically from a video sequence of the relevant animal with no explicit supervisory information. The ...
261
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
Abstract-- We introduce the novel notion of explanationbased diversification to address the well-known problem of overspecialization in item recommendations. Over-specialization in...