Sciweavers

4035 search results - page 345 / 807
» Useless Actions Are Useful
Sort
View
ICRA
2006
IEEE
100views Robotics» more  ICRA 2006»
16 years 24 days ago
Learning EMG Control of a Robotic Hand: Towards Active Prostheses
— We introduce a method based on support vector machines which can detect opening and closing actions of the human thumb, index finger, and other fingers recorded via surface E...
Sebastian Bitzer, P. Patrick van der Smagt
PERCOM
2005
ACM
16 years 10 days ago
RDF-Based Model for Context-Aware Reasoning in Rich Service Environment
We present a framework for utilizing context-awareness for classifying services. We also present a novel RDFbased model for context-aware reasoning in pervasive computing environm...
Jari Forstadius, Ora Lassila, Tapio Seppänen
FMCO
2005
Springer
16 years 8 days ago
Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation
We present a method for decomposing modal formulas for processes with the internal action τ. To decide whether a process algebra term satisfies a modal formula, one can check whe...
Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind
COLT
2004
Springer
16 years 4 days ago
Deterministic Calibration and Nash Equilibrium
Abstract. We provide a natural learning process in which the joint frequency of empirical play converges into the set of convex combinations of Nash equilibria. In this process, al...
Sham Kakade, Dean P. Foster
FM
2003
Springer
96views Formal Methods» more  FM 2003»
15 years 12 months ago
Event Based Sequential Program Development: Application to Constructing a Pointer Program
In this article, I present an “event approach” used to formally develop sequential programs. It is based on the formalism of Action Systems [6] (and Guarded Commands[7]), which...
Jean-Raymond Abrial