5205 search results - page 165 / 1041 » Tilings and model theory |
IJCAI
1989
13 years 11 months ago
1989
Diagnostic tasks involve identifying faulty components from observations of symptomatic device behavior. This paper presents a general diagnostic theory that uses the perspective ...
COLING
1992
13 years 11 months ago
1992
This paper presents a direct implementation of Government-Binding theory in a parser for German, which faithfully models the modular structure of the theory. The modular design yi...
LPAR
2010
Springer
13 years 8 months ago
2010
Springer
We describe a technique and a tool called Qex for generating input tables and parameter values for a given parameterized SQL query. The evaluation semantics of an SQL query is tra...
CONTEXT
2007
Springer
14 years 4 months ago
2007
Springer
Current modeling approaches in the field of learning and work resemble the notion of workflows and hence fall short in describing the situated and socially mediated nature of pract...
ESOP
2009
Springer
14 years 2 months ago
2009
Springer
We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include ...