276 search results - page 33 / 56 » The Complexity of Computing Maximal Word Functions |
AUTOMATICA
2008
13 years 7 months ago
2008
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...
AIL
2006
13 years 7 months ago
2006
Legal information certification and secured storage combined with documents electronic signature are of great interest when digital documents security and conservation are in conce...
INFORMATICALT
2007
13 years 7 months ago
2007
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...
NCA
2010
IEEE
13 years 2 months ago
2010
IEEE
In this paper we address the challenge of realizing full-body behaviors in scalable modular robots. We present an experimental study of a biologically inspired approach to organize...
IEEESCC
2005
IEEE
14 years 1 months ago
2005
IEEE
Discovering and assembling individual Web services into more complex yet new and more useful Web processes has received significant attention from academia recently. In this thesi...