Sciweavers

709 search results - page 48 / 142
» coordination 2010
Sort
View
ENTCS
2007
109views more  ENTCS 2007»
15 years 6 months ago
Symbolic Model Checking for Channel-based Component Connectors
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...
Sascha Klüppelholz, Christel Baier
ECCC
2002
90views more  ECCC 2002»
15 years 6 months ago
Almost k-wise independence versus k-wise independence
We say that a distribution over {0, 1}n is ( , k)-wise independent if its restriction to every k coordinates results in a distribution that is -close to the uniform distribution. ...
Noga Alon, Oded Goldreich, Yishay Mansour
IJRR
2010
117views more  IJRR 2010»
15 years 3 months ago
Generalizing Dubins Curves: Minimum-time Sequences of Body-fixed Rotations and Translations in the Plane
This paper presents the minimum-time sequences of rotations and translations that connect two configurations of a rigid body in the plane. The configuration of the body is its pos...
Andrei A. Furtuna, Devin J. Balkcom
ICFHR
2010
136views Biometrics» more  ICFHR 2010»
15 years 1 months ago
Digital Ink Compression via Functional Approximation
Representing digital ink traces as points in a function space has proven useful for online recognition. Ink trace coordinates or their integral invariants are written as parametri...
Vadim Mazalov, Stephen M. Watt
INTERSPEECH
2010
15 years 1 months ago
Kinematic analysis of tongue movement control in spastic dysarthria
This study provided a quantitative analysis of the kinematic deviances in dysarthria associated with spastic cerebral palsy. Of particular interest were tongue tip movements durin...
Heejin Kim, Panying Rong, Torrey M. Loucks, Mark H...