8132 search results - page 1261 / 1627 » Dependability, Abstraction, and Programming |
201
click to vote
CAIP
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. In this paper we present a novel analysis-by-synthesis approach for real-time camera tracking in industrial scenarios. The camera pose estimation is based on the tracking...
153
click to vote
CALCO
2007
Springer
16 years 29 days ago
2007
Springer
Besides functional correctness, specifications must describe other properties of permissible implementations. We want to use simple algebraic techniques to specify resource usage ...
176
click to vote
CICLING
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. The task of Named Entity Recognition (NER) allows to identify proper names as well as temporal and numeric expressions, in an open-domain text. NER systems proved to be v...
237
click to vote
COLT
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We study online regret minimization algorithms in a bicriteria setting, examining not only the standard notion of regret to the best expert, but also the regret to the av...
171
click to vote
DAWAK
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Pareto dominance plays an important role in diverse application domains such as economics and e-commerce, and it is widely being used in multicriteria decision making. In...