4341 search results - page 486 / 869 » Quantitative Model checking |
164
click to vote
CLEAR
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. This paper presents a visual particle filter for jointly tracking the position of a person and her head pose. The resulting information may be used to support automatic ...
146
click to vote
TGC
2007
Springer
16 years 26 days ago
2007
Springer
Web service instances are often replicated to allow service provision to scale to support larger population sizes of users. However, such systems are difficult to analyse because t...
193
click to vote
ICARCV
2006
IEEE
16 years 25 days ago
2006
IEEE
: Relevance feedback in Content Based Image Retrieval(CBIR) has been an active field of research for quite some time now. Many schemes and techniques of relevance feedback exist w...
170
click to vote
QEST
2006
IEEE
16 years 23 days ago
2006
IEEE
— UPPAAL 4.0 is the result of over two and a half years of development and contains many new features, additions to the modeling language, performance improvements, enhancements ...
166
click to vote
QEST
2006
IEEE
16 years 23 days ago
2006
IEEE
Normalizing constant recurrence equations play an important role in the exact analysis of load-independent (LI) product-form queueing networks. However, they have not been extende...