Sciweavers

3868 search results - page 177 / 774
» Open Systems in TLA
Sort
View
FGR
2004
IEEE
167views Biometrics» more  FGR 2004»
15 years 10 months ago
Gesture Recognition Using Laser-Based Tracking System
This paper describes a finger gesture recognition system based on an active tracking mechanism. The simplicity of this tracking system is such that it would be possible to integra...
Stéphane Perrin, Álvaro Cassinelli, ...
157
Voted
CRIWG
2007
15 years 8 months ago
Evaluation Methods for Groupware Systems
Collaborative systems evaluation is necessary in several situations. However, evaluation is frequently done in an ad-hoc manner or not at all. This paper presents a survey of evalu...
Valeria Herskovic, José A. Pino, Sergio F. ...
CASCON
1997
139views Education» more  CASCON 1997»
15 years 8 months ago
A performance study of client-broker-server systems
The role of brokers in client-server systems is to accommodate flexible, open, heterogeneous system design and to facilitate fault tolerance and improved performance through load...
Omotunde Adebayo, John E. Neilson, Dorina C. Petri...
IROS
2007
IEEE
128views Robotics» more  IROS 2007»
16 years 1 months ago
A scalable distributed algorithm for shape transformation in multi-robot systems
Abstract— Distributed reconfiguration is an important problem in multi-robot systems such as mobile sensor nets and metamorphic robot systems. In this work, we present a scalabl...
Ram Ravichandran, G. Gordon, Seth Copen Goldstein
FORMATS
2004
Springer
16 years 13 days ago
Symbolic Model Checking for Simply-Timed Systems
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...
Nicolas Markey, Ph. Schnoebelen