4341 search results - page 437 / 869 » Quantitative Model checking |
191
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
Achieving peak performance from library subroutines usually requires extensive, machine-dependent tuning by hand. Automatic tuning systems have emerged in response, and they typic...
159
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Tracking of curvilinear structures is a task of fundamental importance in the quantitative analysis of biological structures such as neurons, blood vessels, retinal interconnects,...
208
click to vote
TSMC
2010
15 years 1 months ago
2010
We present an adaptive framework for condensation algorithms in the context of human-face tracking. We attack the face tracking problem by making factored sampling more efficient a...
192
click to vote
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper explores integrated source-channel decoding, driven by wireless sensor network applications where correlated information acquired by the network is gathered ...
178
click to vote
ACSD
2006
IEEE
15 years 10 months ago
2006
IEEE
Asynchronous circuits have received much attention recently due to their potential for energy savings. Process algebras have been extensively used in the modelling, analysis and sy...