4231 search results - page 195 / 847 » Using Language More Responsibly |
177
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
176
click to vote
ACL
2004
15 years 7 months ago
2004
We present the first application of the head-driven statistical parsing model of Collins (1999) as a simultaneous language model and parser for largevocabulary speech recognition....
184
click to vote
ESWS
2005
Springer
15 years 12 months ago
2005
Springer
As semantic markup becomes ubiquitous, it will become important to be able to ask queries and obtain answers, using natural language (NL) expressions, rather than the keyword-based...
168
click to vote
IFL
2003
Springer
15 years 11 months ago
2003
Springer
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
190
click to vote
SEKE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...