105 search results - page 13 / 21 » Dynamic Partial Order Reduction Using Probe Sets |
NPL
1998
13 years 6 months ago
1998
Abstract. Incremental learning of sensorimotor transformations in high dimensional spaces is one of the basic prerequisites for the success of autonomous robot devices as well as b...
FORMATS
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
ATAL
2010
Springer
13 years 7 months ago
2010
Springer
Appearance-based localization compares the current image taken from a robot's camera to a set of pre-recorded images in order to estimate the current location of the robot. S...
CCR
2006
13 years 6 months ago
2006
In this paper, we propose Layered TCP (LTCP for short), a set of simple modifications to the congestion window response of TCP to make it more scalable in highspeed networks. LTCP...
SDM
2003
SIAM
13 years 8 months ago
2003
SIAM
The singular value decomposition (SVD) is fundamental to many data modeling/mining algorithms, but SVD algorithms typically have quadratic complexity and require random access to ...