18209 search results - page 244 / 3642 » Some Remarks on the Paper |
145
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
This paper focuses on the problem of calibration from a single view and a map of a scene. This situation arises quite often when modelling urban scenes, e.g. for augmented reality...
190
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
133
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
This paper presents the author's experience in designing and teaching a graduate level Ubiquitous Computing (Ubicomp) course at Arizona State University. It identifies some o...
150
click to vote
ICCD
2003
IEEE
16 years 3 months ago
2003
IEEE
This paper investigates some power efficient data cache designs that try to significantly reduce the cache energy consumption, both static and dynamic, with a minimal impact in pe...
193
click to vote
WASA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we show through a simple secure symmetric key based protocol design and its implementation the feasibility of secure data collection in a vehicular sensor ...