3082 search results - page 265 / 617 » Deviation Analysis: A New Use of Model Checking |
266
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we present a markerless 3D motion capture system based on a volume reconstruction technique of non rigid bodies. It depicts a new approach for pose estimation in or...
134
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper we introduce a new technique for estimating the parameters of the Keplerian model commonly used in radial velocity data analysis for extrasolar planet detection. The...
224
click to vote
CSFW
2012
IEEE
13 years 9 months ago
2012
IEEE
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...
198
click to vote
EURONGI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This work introduces a new analytical method for performance evaluation of wireless packet-oriented networks. Unlike traditional call admission control procedures commonl...
182
click to vote
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verifica...