Sciweavers

4595 search results - page 91 / 919
» Reasoning about Plans
Sort
View
OOPSLA
2010
Springer
15 years 3 months ago
Reasoning about multiple related abstractions with MultiStar
Stephan van Staden, Cristiano Calcagno
BMVC
2010
15 years 2 months ago
Reducing mismatching under time-pressure by reasoning about visibility and occlusion
Three methods are explored which help indicate whether feature points are potentially visible or occluded in the matching phase of the keyframe-based real-time visual SLAM system....
Somkiat Wangsiripitak, David W. Murray
FSTTCS
2010
Springer
15 years 2 months ago
Reasoning About Strategies
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi