6608 search results - page 1276 / 1322 » On the Completeness of Model Checking |
155
Voted
AAIM
2007
Springer
15 years 9 months 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 ...
134
Voted
CCIA
2007
Springer
15 years 9 months 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...
121
Voted
CICLING
2007
Springer
15 years 9 months 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...
114
Voted
EPIA
2007
Springer
15 years 9 months 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...
153
Voted
CVPR
2009
IEEE
15 years 9 months 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...