4418 search results - page 554 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
274
click to vote
MMM
2005
Springer
16 years 9 days ago
2005
Springer
The efficient management of complex objects has become an enabling technology for modern multimedia information systems as well as for many novel database applications. Unfortunat...
171
click to vote
ICIP
2005
IEEE
16 years 10 days ago
2005
IEEE
Automated analysis of facial images for the estimation of the displayed expression is essential in the design of intuitive and accessible human computer interaction systems. In ex...
193
click to vote
RTCSA
2000
IEEE
15 years 11 months ago
2000
IEEE
As a starting point for static program analysis a control flow graph (CFG) is needed. If only the binary executable is available, this CFG has to be reconstructed from sequences ...
164
click to vote
CHI
2009
ACM
15 years 10 months ago
2009
ACM
Due to the increasing penetration of mobile phones even into poor communities, mobile payment schemes could bring formal financial services to the "unbanked". However, b...
164
click to vote
PERVASIVE
2007
Springer
16 years 25 days ago
2007
Springer
While commercial solutions for precise indoor positioning exist, they are costly and require installation of additional infrastructure, which limits opportunities for widespread ad...