962 search results - page 72 / 193 » Same places, same things, same people |
CHI
2009
ACM
14 years 10 months ago
2009
ACM
GestureBar is a novel, approachable UI for learning gestural interactions that enables a walk-up-and-use experience which is in the same class as standard menu and toolbar interfa...
ICIAP
2007
ACM
14 years 9 months ago
2007
ACM
This paper presents calibration software "D-Calib" for multiple cameras, which can calibrate all cameras at the same time with easy operation. Our calibration method con...
ICFP
2001
ACM
14 years 9 months ago
2001
ACM
Contification is a compiler optimization that turns a function that always returns to the same place into a continuation. Compilers for functional languages use contification to e...
TACAS
2010
Springer
14 years 4 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
ICAS
2009
IEEE
14 years 4 months ago
2009
IEEE
In this paper we examine the problem of localisation and mapping of an unknown environment using data from a laser range finder. In order to support our method we detect landmark...