Sciweavers

1302 search results - page 133 / 261
» From Liveness to Promptness
Sort
View
BMVC
2010
13 years 6 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
IAT
2010
IEEE
13 years 6 months ago
Intention Recognition with Event Calculus Graphs
Intention recognition has significant applications in ambient intelligence, for example in assisted living and care of the elderly, in games and in intrusion and other crime detec...
Fariba Sadri
HCI
2009
13 years 6 months ago
Distributed Intelligence and Scaffolding in Support of Cognitive Health
Computers have dramatically changed the social landscape and living practices in the 21st century. Most of those changes have empowered typically abled adults, while it is only in ...
Stefan Carmien, Randal A. Koene
ICWSM
2009
13 years 6 months ago
You Are Where You Edit: Locating Wikipedia Contributors through Edit Histories
Whether knowingly or otherwise, Wikipedia contributors reveal their interests and expertise through their contribution patterns. An analysis of Wikipedia edit histories shows that...
Michael D. Lieberman, Jimmy Lin
FAC
2010
93views more  FAC 2010»
13 years 5 months ago
Inter-process buffers in separation logic with rely-guarantee
Separation logic allows simple proofs of concurrent algorithms which use blocking mechanisms such as semaphores. It can even deal with non-blocking algorithms. With the addition of...
Richard Bornat, Hasan Amjad