4814 search results - page 643 / 963 » Combining abstract interpreters |
144
click to vote
CORR
2002
Springer
15 years 5 months ago
2002
Springer
Abstract. Logic Programming paradigms that allow for expressing preferences have drawn a lot of research interest over the last years. Among them, the principle of ordered disjunct...
135
click to vote
CORR
2002
Springer
15 years 5 months ago
2002
Springer
Abstract. Constraint logic programming combines declarativity and efficiency thanks to constraint solvers implemented for specific domains. Value withdrawal explanations have been ...
152
click to vote
CORR
2002
Springer
15 years 5 months ago
2002
Springer
Abstract. Symmetry properties of r-times covariant tensors T can be described by certain linear subspaces W of the group ring K[Sr] of a symmetric group Sr. If for a class of tenso...
143
click to vote
ENTCS
2002
15 years 5 months ago
2002
Component-oriented software development is becoming more and more important for the production of large-scale software applications. Today's systems are constructed by combin...
157
click to vote
PAA
2000
15 years 5 months ago
2000
Abstract: In this paper we present a multi-scale method for the detection of small targets embedded in noisy background. The multiscale representation is built using a weighted und...