4814 search results - page 539 / 963 » Combining abstract interpreters |
169
click to vote
ACG
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Complete tablebases, indicating best moves for every position, exist for chess endgames. There is no doubt that tablebases contain a wealth of knowledge, however, mining ...
178
click to vote
ACIVS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In the pattern recognition context, objects can be represented as graphs with attributed nodes and edges involving their relations. Consequently, matching attributed grap...
170
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The nature of the activities that take place in Exploratory Learning Environments allow generating a variety of learner trajectories and makes difficult to develop a mod...
178
click to vote
WASA
2009
Springer
2009
Springer
Information Extraction as Link Prediction: Using Curated Citation Networks to Improve Gene Detection
16 years 1 months ago
Abstract. In this paper we explore the usefulness of various types of publicationrelated metadata, such as citation networks and curated databases, for the task of identifying gene...
197
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...