2268 search results - page 113 / 454 » The Essence of Form Abstraction |
FINTAL
2006
13 years 12 months ago
2006
Abstract. Discourse segmentation is the division of a text into minimal discourse segments, which form the leaves in the trees that are used to represent discourse structures. A de...
FMCAD
2006
Springer
13 years 12 months ago
2006
Springer
Recent years have seen a proliferation of 3-valued or capturing abstractions of systems, since these enable verifying both universal and existential properties. Reasoning about suc...
EUROPAR
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Block-recursive codes for dense numerical linear algebra computations appear to be well-suited for execution on machines with deep memory hierarchies because they are e e...
ICLP
1995
Springer
13 years 11 months ago
1995
Springer
Abstract. The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this pap...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract— In this paper we investigate the problem of designing an input signal for a Multi-Input Multi-Output plant to minimize a control-oriented criterion. By employing Ljungâ...