3255 search results - page 74 / 651 » Combination of Abstractions in the ASTR |
IDEAL
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Multiple classifier systems based on neural networks can give improved generalisation performance as compared with single classifier systems. We examine collaboration in ...
MPC
2010
Springer
14 years 1 months ago
2010
Springer
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
ICLP
2005
Springer
14 years 2 months ago
2005
Springer
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...
PKDD
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Problem solving with experiences that are recorded in text form requires a mapping from text to structured cases, so that case comparison can provide informed feedback fo...
KBSE
2009
IEEE
14 years 3 months ago
2009
IEEE
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...