15754 search results - page 695 / 3151 » Programs are Knowledge Bases |
188
click to vote
EUROCAST
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Pattern-based verification trying to abstract away the concrete number of repeated memory structures is one of the approaches that have recently been proposed for verific...
188
click to vote
PADL
2000
Springer
15 years 11 months ago
2000
Springer
In this article we present the University of Evora's Integrated Information System (SIIUE), which is meant to model most of the information necessary for the management and da...
224
click to vote
ECOOP
1995
Springer
15 years 11 months ago
1995
Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
150
click to vote
ACL
2007
15 years 9 months ago
2007
Transliteration is the task of converting a word from one alphabetic script to another. We present a novel, substring-based approach to transliteration, inspired by phrasebased mo...
192
click to vote
FLAIRS
2001
15 years 8 months ago
2001
We introduce the graph-based relational concept learner SubdueCL. We start with a brief description of other graph-based learning systems: the Galois lattice, Conceptual Graphs, a...