2911 search results - page 394 / 583 » A Theory of Expressiveness in Mechanisms |
108
click to vote
CMSB
2008
Springer
15 years 3 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
138
click to vote
CSL
2008
Springer
15 years 3 months ago
2008
Springer
Quantitative generalizations of classical languages, which assign to each word a real number instead of a boolean value, have applications in modeling resource-constrained computat...
126
click to vote
DIAGRAMS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The spider diagram logic forms a fragment of constraint diagram logic and is designed to be primarily used as a diagrammatic software specification tool. Our interest is ...
103
click to vote
ESWS
2008
Springer
15 years 3 months ago
2008
Springer
The goal of this paper is to give an overview of the basics of the theory of RDF databases. We provide a formal definition of RDF that includes the features that distinguish this m...
124
click to vote
LREC
2010
15 years 3 months ago
2010
One of the essential functions of natural language is to talk about spatial relationships between objects. Linguistic constructs can express highly complex, relational structures ...