9716 search results - page 165 / 1944 » The Case for Energy-Proportional Computing |
170
click to vote
ICTAC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
155
click to vote
EWCBR
2004
Springer
15 years 12 months ago
2004
Springer
Model-based object recognition is a well-known task in Computer Vision. Usually, one object that can be generalized by a model should be detected in an image based on this model. B...
167
click to vote
EWCBR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Good similarity functions are at the heart of effective case-based reasoning. However, the similarity functions that have been designed so far have been mostly linear, we...
152
click to vote
IIE
2006
15 years 6 months ago
2006
We examine the precision with which the cumulative score from a suite of test cases ranks participants in the International Olympiad in Informatics (IOI). Our concern is the abilit...
177
click to vote
IWANN
2009
Springer
16 years 1 months ago
2009
Springer
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...