Sciweavers

1302 search results - page 133 / 261
» From Liveness to Promptness
Sort
View
98
Voted
BMVC
2010
14 years 10 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
116
Voted
IAT
2010
IEEE
14 years 10 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
133
Voted
HCI
2009
14 years 10 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
80
Voted
ICWSM
2009
14 years 10 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
92
Voted
FAC
2010
93views more  FAC 2010»
14 years 10 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