5205 search results - page 165 / 1041 » Tilings and model theory |
76
Voted
IJCAI
1989
15 years 2 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 ...
103
Voted
COLING
1992
15 years 2 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...
135
Voted
LPAR
2010
Springer
14 years 10 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...
110
Voted
CONTEXT
2007
Springer
15 years 7 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...
107
Voted
ESOP
2009
Springer
15 years 4 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 ...