1690 search results - page 1 / 338 » Algorithmic Properties of Millstream Systems |
DLT
2010
13 years 6 months ago
2010
Abstract. Millstream systems have recently been proposed as a formalization of the linguistic idea that natural language should be described as a combination of different modules r...
ISCIS
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. In this paper, we propose a new video watermarking algorithm based on the human visual system (HVS) properties to find effective locations in video sequences for robust ...
ESA
2004
Springer
13 years 10 months ago
2004
Springer
This paper considers the convergence problem in autonomous mobile robot systems. A natural algorithm for the problem requires the robots to move towards their center of gravity. Th...
ARTS
1999
Springer
1999
Springer
Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach
13 years 9 months ago
QUESTA
2011
12 years 11 months ago
2011
Abstract We consider a system with N unit-service-rate queues in tandem, with exogenous arrivals of rate λ at queue 1, under a back-pressure (MaxWeight) algorithm: service at queu...