2722 search results - page 154 / 545 » Automating Language Evolution |
150
click to vote
INTERSPEECH
2010
14 years 11 months ago
2010
We present a pronunciation error detection method for second language learners of English (L2 learners). The method is a combination of confidence scoring and landmark-based Suppo...
120
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
148
click to vote
ICLP
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this pap...
138
click to vote
ICLP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...
137
click to vote
CEC
2010
IEEE
15 years 6 months ago
2010
IEEE
Biogas plants are reliable sources of energy based on renewable materials including organic waste. There is a high demand from industry to run these plants efficiently, which lead...