1755 search results - page 134 / 351 » An efficient simulation algorithm based on abstract interpre... |
126
click to vote
WSC
2004
15 years 4 months ago
2004
We present a conceptual framework for validating reusable behavioral models. The setting for this work is a modern product development environment in which design is performed by ...
142
click to vote
SAT
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present a new method to break symmetry in graph coloring problems. While most alternative techniques add symmetry breaking predicates in a pre-processing step, we deve...
146
click to vote
COMPUTING
2008
15 years 3 months ago
2008
Generalizing the approach of a previous work [15] the authors present multilevel preconditioners for three-dimensional (3D) elliptic problems discretized by a family of Rannacher ...
114
click to vote
ASAP
1997
IEEE
15 years 6 months ago
1997
IEEE
In this paper we present an approach for quantitative analysis of application-specific dataflow architectures. The approach allows the designer to rate design alternatives in a qu...
158
click to vote
JCIT
2010
14 years 10 months ago
2010
This paper presents a method of using mutual information to improve the recognition algorithm of unknown Chinese words, it can resolve the complexity of weight settings and the in...