1278 search results - page 126 / 256 » The representation of policies as system objects |
MKM
2005
Springer
14 years 3 months ago
2005
Springer
In mathematical textbooks matrices are often represented as objects of indefinite size containing abbreviations. To make the knowledge implicitly given in these representations av...
LFCS
2009
Springer
14 years 2 months ago
2009
Springer
A bialgebra is a structure which is simultaneously an algebra and a coalgebra, such that the algebraic and coalgebraic parts are compatible. Bialgebras are usually studied over a ...
ENTCS
2007
13 years 10 months ago
2007
The use of typed intermediate languages can significantly increase the reliability of a compiler. By typechecking the code produced at each transformation stage, one can identify...
TOG
2008
13 years 10 months ago
2008
Motivated by applications in architecture and manufacturing, we discuss the problem of covering a freeform surface by single curved panels. This leads to the new concept of semi-d...
ECAI
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Statistical relational models, such as Markov logic networks, seek to compactly describe properties of relational domains by representing general principles about objects...