3255 search results - page 361 / 651 » Combination of Abstractions in the ASTR |
171
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper proposes to promote constraints to first-class status. In contrast to constraint propagation, which performs inference on values of variables, first-class co...
163
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Many key verification problems such as boundedmodel-checking,circuit verification and logical cryptanalysis are formalized with combined clausal and affine logic (i.e....
149
click to vote
DAWAK
2000
Springer
15 years 11 months ago
2000
Springer
Abstract The application of data mining algorithms needs a goal-oriented preprocessing of the data. In practical applications the preprocessing task is very time consuming and has ...
157
click to vote
SSDBM
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract. State-of-the-art numerical solvers in Earth Sciences produce multi terabyte datasets per execution. Operating on increasingly larger datasets becomes challenging due to i...
174
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
If real number calculations are implemented as circuits, only a limited preciseness can be obtained. Hence, formal verification can not be used to prove the equivalence between th...