3342 search results - page 408 / 669 » Automating Abstract Interpretation |
135
click to vote
ASP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The paper describes HıLεX, a new ASP-based system for the extraction of information from unstructured documents. Unlike previous systems, which are mainly syntactic, HÄ...
109
click to vote
DEON
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding...
154
click to vote
CSL
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
121
click to vote
EVOW
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Software configurable analogue arrays offer an intriguing platform for automated design by evolutionary algorithms. Like previous evolvable hardware experiments, these pl...
175
click to vote
EWCBR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Case-based planning (CBP) is based on reusing past successful plans for solving new problems. CBP is particularly useful in environments where the large amount of time re...