2661 search results - page 375 / 533 » Model Checking Performability Properties |
141
Voted
IJCV
2010
14 years 11 months 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...
133
click to vote
CVPR
2011
IEEE
14 years 9 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...
103
Voted
BMCBI
2006
15 years 24 days 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...
95
Voted
MICRO
2008
IEEE
15 years 21 days 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 ...
107
click to vote
SIGMETRICS
2010
ACM
14 years 11 months 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...