6608 search results - page 1107 / 1322 » On the Completeness of Model Checking |
152
click to vote
PAMI
2007
15 years 4 months ago
2007
—An open vision problem is to automatically track the articulations of people from a video sequence. This problem is difficult because one needs to determine both the number of p...
164
Voted
SPLC
2010
15 years 3 months ago
2010
Product line engineering allows for the rapid development of variants of a domain specific application by using a common set of reusable assets often known as core assets. Variabil...
166
Voted
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--The lag of parallel programming models and languages behind the advance of heterogeneous many-core processors has left a gap between the computational capability of moder...
161
click to vote
BCB
2010
14 years 11 months ago
2010
A major bottleneck in high-throughput protein crystallography is producing protein-structure models from an electrondensity map. In previous work, we developed Acmi, a probabilist...
155
click to vote
INFOCOM
2011
IEEE
14 years 8 months ago
2011
IEEE
—There has been recent interest within the networking research community to understand how performance scales in cognitive networks with overlapping n primary nodes and m seconda...