6608 search results - page 1276 / 1322 » On the Completeness of Model Checking |
185
click to vote
AAIM
2007
Springer
16 years 10 days ago
2007
Springer
Packet scheduling in networks with quality of service constraints has been extensively studied as a single criterion scheduling problem. The assumption underlying single criterion ...
162
click to vote
CCIA
2007
Springer
16 years 10 days ago
2007
Springer
With the arrival of high throughput genotyping techniques, the detection of likely genotyping errors is becoming an increasingly important problem. In this paper we are interested...
156
click to vote
CICLING
2007
Springer
16 years 9 days ago
2007
Springer
The present paper describes how dependency analysis can be used to automatically extract from a corpus a set of cases - and an accompanying vocabulary - which enable a template-bas...
147
click to vote
EPIA
2007
Springer
16 years 9 days ago
2007
Springer
This paper describes a complete and efficient vision system developed for the robotic soccer team of the University of Aveiro, CAMBADA (Cooperative Autonomous Mobile roBots with A...
188
click to vote
CVPR
2009
IEEE
16 years 9 days ago
2009
IEEE
We present a new shape-from-distortion framework for recovering specular (reflective/refractive) surfaces. While most existing approaches rely on accurate correspondences between 2...