1690 search results - page 1 / 338 » Algorithmic Properties of Millstream Systems |
85
Voted
DLT
2010
14 years 11 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
15 years 2 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
15 years 2 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
15 years 1 months ago
137
Voted
QUESTA
2011
14 years 4 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...