7988 search results - page 236 / 1598 » A Useful Undecidable Theory |
125
Voted
ICCS
2004
Springer
15 years 6 months ago
2004
Springer
An important part of the computer science is focused on the links that can be established between group theory and graph theory. Cayley graphs can establish such a link but meet so...
65
Voted
ICCS
2003
Springer
15 years 6 months ago
2003
Springer
We illustrate the flow behaviour of fluids with isotropic and anisotropic microstructure (internal length, layering with bending stiffness) by means of numerical simulations of ...
135
click to vote
CONCUR
2008
Springer
15 years 2 months ago
2008
Springer
A well-known theorem in automata theory states that every context-free language is accepted by a pushdown automaton. We investigate this theorem in the setting of processes, using ...
102
Voted
IJCAI
1989
15 years 1 months ago
1989
In this paper, we address an issue that arises when the background knowledge used by explanationbased learning is incorrect. In particular, we consider the problems that can be ca...
102
Voted
COLING
1992
15 years 1 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...