2373 search results - page 73 / 475 » On the Theory of Structural Subtyping |
SIAMCO
2010
14 years 4 months ago
2010
In this paper, we extend fundamental notions of control theory to evolving compact subsets of the Euclidean space
SIAMDM
2010
14 years 4 months ago
2010
Thomassen (J. Combin. Theory Ser. B, 62 (1994), pp. 180
AMAI
2007
Springer
14 years 10 months ago
2007
Springer
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
APAL
2006
14 years 10 months ago
2006
This paper uses the locale theory approach to topology. Two descriptions are given of all locale limits, the first description using suplattice constructions and the second prefra...
LOGCOM
2002
14 years 9 months ago
2002
We present a logical approach to plan recognition that builds on Kautz's theory of keyhole plan recognition, defined as the problem of inferring descriptions of high-level pl...