4383 search results - page 129 / 877 » Mobile Environmental Applications |
176
Voted
ASE
2004
15 years 5 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
130
click to vote
MHCI
2009
Springer
16 years 5 days ago
2009
Springer
We outline two new auditory interaction techniques which build upon existing visual techniques to display off-screen points of interest (POI) in map based mobile computing applic...
114
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
: In this research, a fixed-point multimedia co-processor is designed and tested into an ARM-10 based mobile graphics processor for portable 2-D and 3-D multimedia applications. Th...
152
click to vote
QSIC
2006
IEEE
15 years 11 months ago
2006
IEEE
Users and providers of an information system should clearly understand the threats caused by the system as well as clarify the requirements for the system before they use the syst...
143
click to vote
ASPDAC
2006
ACM
15 years 11 months ago
2006
ACM
- This paper presents an H.264/AVC baseline profile decoder based on a SoC platform design methodology. The overall decoding throughput is increased by optimized software and a ded...