867 search results - page 110 / 174 » A Model for Dynamic Shape and Its Applications |
112
Voted
TROB
2002
15 years 9 days ago
2002
Abstract-- This paper presents a framework for visual servoing that guarantees convergence to a visible goal from almost every initially visible configuration while maintaining ful...
122
Voted
CMSB
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
121
Voted
CSREASAM
2009
15 years 1 months ago
2009
Security defense tools like firewalls and antivirus softwares are not sufficient to defend against dynamic threats to database systems. Successful attacks could not only seriously ...
EGOV
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Issues related to technology, including diffusion, acceptance, adoption, and adaptation, have been the focus of research for different disciplines including Information S...
94
Voted
PE
2008
Springer
15 years 19 days ago
2008
Springer
In this paper we present a new approach to derive heavy-traffic asymptotics for polling models. We consider the classical cyclic polling model with exhaustive or gated service at ...