23413 search results - page 4527 / 4683 » or 2005 |
205
click to vote
SARA
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. This article introduces a technique for improving the efficiency of diagnosis through approximate compilation. We extend the approach of compiling a diagnostic model, as...
212
click to vote
SAS
2005
Springer
16 years 16 days ago
2005
Springer
Programmers increasingly implement plugin architectures in type-safe object-oriented languages such as Java. A virtual machine can dynamically load class files containing plugins,...
199
click to vote
SAS
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. We present our experience of combining, in a realistic setting, a static analyzer with a statistical analysis. This combination is in order to reduce the inevitable false...
201
click to vote
SAT
2005
Springer
16 years 16 days ago
2005
Springer
Much attention has been given in recent years to the problem of finding Minimally Unsatisfiable Subformulas (MUSes) of Boolean formulas. In this paper, we present a new view of the...
201
click to vote
SCALESPACE
2005
Springer
16 years 16 days ago
2005
Springer
In previous work, singular points (or top points) in the scale space representation of generic images have proven valuable for image matching. In this paper, we propose a construct...