4128 search results - page 412 / 826 » Learning and using relational theories |
146
click to vote
JSYML
2008
15 years 6 months ago
2008
When restricted to proving q i formulas, the quantified propositional proof system G i is closely related to the b i theorems of Buss's theory Si 2. Namely, G i has polynomial...
249
click to vote
CVPR
2009
IEEE
17 years 2 months ago
2009
IEEE
This paper deals with estimation of dense optical flow
and ego-motion in a generalized imaging system by exploiting
probabilistic linear subspace constraints on the flow.
We dea...
220
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
Convolutional networks have achieved a great deal of success in high-level vision problems such as object recognition. Here we show that they can also be used as a general method ...
192
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Previous work [1] shows that the movement representation in task spaces offers many advantages for learning object-related and goal-directed movement tasks through imit...
184
click to vote
HASKELL
2008
ACM
15 years 8 months ago
2008
ACM
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...