2509 search results - page 348 / 502 » Abstract Geometrical Computation and Computable Analysis |
176
click to vote
CMSB
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
170
click to vote
ICCV
1995
IEEE
15 years 9 months ago
1995
IEEE
Abstract. We describe a flexible object recognition and modelling system (FORMS) which represents and recognizes animate objects from their silhouettes. This consists of a model fo...
152
Voted
CONEXT
2008
ACM
15 years 7 months ago
2008
ACM
Abstract: Social virtual worlds such as Second Life are digital representations of the real world where human-controlled avatars evolve and interact through social activities. Unde...
183
click to vote
CISS
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract-- When monitoring interactions within a social network, meetings or contacts between different members of the network are recorded. This paper addresses the problem of usi...
164
click to vote
ISVC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. When using visualization techniques to explore data streams, an important task is to convey pattern changes. Challenges include: (1) Most data analysis tasks require user...