1690 search results - page 3 / 338 » Algorithmic Properties of Millstream Systems |
PERCOM
2006
ACM
14 years 5 months ago
2006
ACM
This paper investigates fundamental properties of Marker-based Vision (MBV) systems. We present a theoretical analysis of the performance of basic tag designs which is extended th...
SIAMCO
2000
13 years 5 months ago
2000
We study the asymptotic behavior at infinity of solutions of a second order evolution equation with linear damping and convex potential. The differential system is defined in a rea...
SPIN
2010
Springer
13 years 4 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
ITNG
2008
IEEE
14 years 11 days ago
2008
IEEE
High contention of flows is associated with unstable network behavior and unmanageable resource administration, i.e., convergence to equilibrium becomes a difficult task. In this ...
SIAMCO
2000
13 years 5 months ago
2000
It is well known that a crucial property for the effective identification of time-varying systems is that the data carry continual information on the parameters to be estimated. As...