—This paper shows how the relative size of components can be used to increase matching performance – saving orders of magnitude in component area. The relative size information...
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
We present a uniform relational framework for developing proof systems for theories of manyvaluedness that may have the form of a logical system, of a class of algebra or of an in...
This paper develops a new paradigm for relational learning which allows for the representation and learning of relational information using propositional means. This paradigm sugg...
This paper presents an unsupervised relation extraction method for discovering and enhancing relations in which a specified concept in Wikipedia participates. Using respective cha...