Sciweavers

8177 search results - page 1085 / 1636
» Detecting System Emulators
Sort
View
IBPRIA
2007
Springer
15 years 11 months ago
On-Line Classification of Human Activities
In this paper we address the problem of on-line recognition of human activities taking place in a public area such as a shopping center. We consider standard activities; namely, en...
Jacinto C. Nascimento, Mário A. T. Figueire...
HOTOS
2009
IEEE
15 years 11 months ago
Computer Meteorology: Monitoring Compute Clouds
Cloud computing environments allow customers to execute arbitrary code on hardware owned by a cloud provider. While cloud providers use virtualization to ensure isolation between ...
Lionel Litty, H. Andrés Lagar-Cavilla, Davi...
ACMACE
2004
ACM
15 years 10 months ago
CamBall: augmented networked table tennis played with real rackets
We present a computer system for natural interaction in an augmented virtual environment, enabling people to play table tennis over Internet/LAN with real rackets. No special hard...
Charles Woodward, Petri Honkamaa, Jani Jäppin...
AIPR
2004
IEEE
15 years 10 months ago
Embedded Reading Device for Blind People: A User-Centred Design
A handheld PDA-based system is being developed to help blind people in their daily tasks. The design combines in a continuous process Users' involvement and Engineers' e...
Jean-Pierre Peters, Céline Thillou, Silvio ...
AMAST
2006
Springer
15 years 10 months ago
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
Alastair F. Donaldson, Alice Miller
« Prev « First page 1085 / 1636 Last » Next »