7335 search results - page 786 / 1467 » Scene Based Reasoning |
211
Voted
ESIAT
2009
IEEE
15 years 5 months ago
2009
IEEE
Coalmine gas disaster is one of the severe natural disasters that restrict the safety production of coalmines. Timely monitoring and alarming of coalmine gas is an important part o...
217
Voted
NFM
2011
15 years 2 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
198
Voted
CIKM
2011
Springer
14 years 7 months ago
2011
Springer
Previous information extraction (IE) systems are typically organized as a pipeline architecture of separated stages which make independent local decisions. When the data grows bey...
224
click to vote
CVPR
2004
IEEE
16 years 9 months ago
2004
IEEE
This paper studies the problem of 3D non-rigid shape and motion recovery from a monocular video sequence, under the degenerate deformations. The shape of a deformable object is re...
184
Voted
KCAP
2009
ACM
16 years 1 months ago
2009
ACM
One of the grand challenges of AI is to build systems that learn by reading. The ideal system would construct a rich knowledge base capable of automated reasoning. We have built a...