503 search results - page 94 / 101 » Verifying Quantitative Properties Using Bound Functions |
102
click to vote
ICCV
2003
IEEE
15 years 11 months ago
2003
IEEE
Surface representation is needed for almost all modeling and visualization applications, but unfortunately, 3D data from a passive vision system are often insufficient for a tradi...
74
Voted
ICMCS
2000
IEEE
15 years 2 months ago
2000
IEEE
In this paper, we propose to use a simple packet servicing algorithm suitable for servicing bursty real-time multimedia traffic streams in packet-switched networks. These real-tim...
110
Voted
ERSHOV
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
SCL
2008
14 years 9 months ago
2008
We establish exponential stability of nonlinear time-varying impulsive systems by employing Lyapunov functions with discontinuity at the impulse times. Our stability conditions ha...
79
Voted
TSP
2008
14 years 9 months ago
2008
Abstract--In the design of distributed quantization systems one inevitably confronts two types of constraints--those imposed by a distributed system's structure and those impo...