2944 search results - page 143 / 589 » On Well Quasi-orders on Languages |
99
Voted
ESOP
2009
Springer
15 years 4 months ago
2009
Springer
We describe the mechanisation of SLR parsing, covering background properties of context-free languages and grammars, as well as the construction of an SLR automaton. Among the vari...
102
click to vote
ECBS
2004
IEEE
15 years 4 months ago
2004
IEEE
Model Integrated Computing employs domainspecific modeling languages for the design of Computer Based Systems and automatically generates their implementation. These system models...
96
Voted
FDL
2004
IEEE
15 years 4 months ago
2004
IEEE
We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the s...
117
click to vote
KONVENS
2000
15 years 4 months ago
2000
Speech repairs occur often in spontaneous spoken dialogues. The ability to detect and correct those repairs is necessary for any spoken language system. We present a framework to ...
102
Voted
PKDD
2000
Springer
15 years 4 months ago
2000
Springer
Although there is a growing need for multi-relational data mining solutions in KDD, the use of obvious candidates from the field of Inductive Logic Programming (ILP) has been limit...