400 search results - page 22 / 80 » Moving Proofs-As-Programs into Practice |
CHI
2008
ACM
14 years 8 months ago
2008
ACM
The foundations of much HCI research and practice were established over 20 years ago and elaborated as three key principles by Gould and Lewis [7]: early focus on users and tasks ...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
The application of the Radio Frequency Identification (RFID) technology in the supply chain has experienced increased attention in academic research and practice. There is, howeve...
MDM
2009
Springer
14 years 2 months ago
2009
Springer
Proximity based services are location based services (LBS) in which the service adaptation depends on the comparison between a given threshold value and the distance between a use...
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents an interesting observation that epipolar geometry and log–polar transform can be naturally combined by setting the center of the log–polar transform into t...
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
Video-based target tracking is a challenging task, because there always appears to be complex occlusion among the varying number of objects. Also, in practice, it is very common t...