5924 search results - page 126 / 1185 » Normal Process Representatives |
208
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
We propose a novel geometric Rao-Blackwellized particle filtering framework for monocular SLAM with locally planar landmarks. We represent the states for the camera pose and the la...
123
click to vote
BIRTHDAY
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper investigates how to apply the techniques on solving semi-algebraic systems to invariant generation of polynomial programs. By our approach, the generated invar...
133
click to vote
FLOPS
2001
Springer
15 years 9 months ago
2001
Springer
We introduce a simply typed λ-calculus λκε which has both contexts and environments as first-class values. In λκε, holes in contexts are represented by ordinary variables ...
120
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
A model is defined that predicts an agent's ascriptions of causality (and related notions of facilitation and justification) between two events in a chain, based on background...
135
Voted
AAAI
2010
15 years 5 months ago
2010
When merging belief sets from different agents, the result is normally a consistent belief set in which the inconsistency between the original sources is not represented. As proba...