4460 search results - page 749 / 892 » Formal methods for interactive systems |
121
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Self-assembly is a distributed, asynchronous mechanism that is pervasive across natural systems where hierarchical complex structures are built from the bottom-up. The ...
109
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Mobile advertising has emerged as one of the most popular applications in mobile commerce, particularly in the form of SMS advertising campaigns. However, looking at the process o...
143
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
A Web service is a software system designed to support interoperable application-to-application interactions over the Internet. Recently, there has been a growing interest in Web ...
127
click to vote
CDVE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Large-scale scientific investigation often includes collaborative data exploration among geographically distributed researchers. The tools used for this exploration typi...
123
click to vote
CLEAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a visual particle filter for jointly tracking the position of a person and her head pose. The resulting information may be used to support automatic ...