3342 search results - page 224 / 669 » Automating Abstract Interpretation |
185
click to vote
ICCBR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. This paper presents an algorithm of adaptation for a case-based reasoning system with cases and domain knowledge represented in the expressive description logic ALC. The ...
123
Voted
CSL
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Expansions of the natural number ordering by unary predicates are studied, using logics which in expressive power are located between first-order and monadic second-order...
127
click to vote
EWCBR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In both research fields, Case-Based Reasoning and Reinforcement Learning, the system under consideration gains its expertise from experience. Utilizing this fundamental c...
131
click to vote
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper explores the feasibility of re-expressing concurrent algorithms with explicit locks in terms of lock free code written using Haskell's implementation of s...
128
click to vote
LPAR
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...