2661 search results - page 375 / 533 » Model Checking Performability Properties |
157
Voted
IJCV
2010
15 years 25 days ago
2010
Abstract Image alignment has been a long standing problem in computer vision. Parameterized Appearance Models (PAMs) such as the Lucas-Kanade method, Eigentracking, and Active Appe...
147
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
Nearly every structured prediction problem in computer vision requires approximate inference due to large and complex dependencies among output labels. While graphical models prov...
116
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Small interfering RNAs (siRNAs) have become an important tool in cell and molecular biology. Reliable design of siRNA molecules is essential for the needs of large fun...
112
click to vote
MICRO
2008
IEEE
15 years 2 months ago
2008
IEEE
Verification of chip multiprocessor memory systems remains challenging. While formal methods have been used to validate protocols, simulation is still the dominant method used to ...
121
click to vote
SIGMETRICS
2010
ACM
15 years 23 days ago
2010
ACM
We introduce and analyze a deterministic fluid model that serves as an approximation for the Gt/GI/st + GI manyserver queueing model, which has a general time-varying arrival pro...