4460 search results - page 832 / 892 » Formal methods for interactive systems |
ICIAR
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. A major problem in surveillance systems is the storage requirements for video archival; videos are recorded continuously for long periods of time, resulting in large amou...
GROUP
2009
ACM
14 years 2 months ago
2009
ACM
Recent technological advances foster the spreading of social software in the mobile domain. Hence, future usage patterns of mobile devices will involve more group interaction. Whi...
SIGIR
2009
ACM
14 years 2 months ago
2009
ACM
Type-ahead search is a new information-access paradigm, in which systems can find answers to keyword queries “onthe-fly” as a user types in a query. It improves traditional ...
ICCV
2007
IEEE
14 years 2 months ago
2007
IEEE
We present the architecture and algorithm design of a visual motion based perceptual interface for mobile devices with cameras. In addition to motion vector, we use the term “vis...
ICEBE
2007
IEEE
14 years 2 months ago
2007
IEEE
In both E-Commerce (EC) and Service-Oriented Computing (SOC) environments, sellers or service providers interact with customers or service clients for services or transactions. Fr...