Sciweavers

6102 search results - page 613 / 1221
» Generating Optimizing Specializers
Sort
View
CP
2006
Springer
15 years 11 months ago
Retroactive Ordering for Dynamic Backtracking
Dynamic Backtracking (DBT) is a well known algorithm for solving Constraint Satisfaction Problems. In DBT, variables are allowed to keep their assignment during backjump, if they a...
Roie Zivan, Uri Shapen, Moshe Zazone, Amnon Meisel...
FINTAL
2006
15 years 11 months ago
Statistical Machine Translation of German Compound Words
Abstract. German compound words pose special problems to statistical machine translation systems: the occurence of each of the components in the training data is not sufficient for...
Maja Popovic, Daniel Stein, Hermann Ney
FMICS
2006
Springer
15 years 11 months ago
Test Coverage for Loose Timing Annotations
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
Claude Helmstetter, Florence Maraninchi, Laurent M...
GFKL
2006
Springer
75views Data Mining» more  GFKL 2006»
15 years 11 months ago
Classification of Contradiction Patterns
Abstract. Solving conflicts between overlapping databases requires an understanding of the reasons that lead to the inconsistencies. Provided that conflicts do not occur randomly b...
Heiko Müller, Ulf Leser, Johann Christoph Fre...
CCGRID
2001
IEEE
15 years 11 months ago
NwsAlarm: A Tool for Accurately Detecting Resource Performance Degradation
End-users of high-performance computing resources have come to expect that consistent levels of performance be delivered to their applications. The advancement of the Computationa...
Chandra Krintz, Richard Wolski