Sciweavers

709 search results - page 48 / 142
» coordination 2010
Sort
View
ENTCS
2007
109views more  ENTCS 2007»
15 years 5 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 5 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 19 days 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 18 days 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...