443 search results - page 43 / 89 » On The Interpretation Of Natural Language Instructions |
110
click to vote
GPCE
2007
Springer
15 years 6 months ago
2007
Springer
Software written in one language often needs to construct sentences in another language, such as SQL queries, XML output, or shell command invocations. This is almost always done ...
TSD
2005
Springer
15 years 5 months ago
2005
Springer
As language is fundamental to human activities, proficiency in other languages becomes important. Besides for developing abilities for communication, the knowledge is also a tool f...
108
click to vote
SAC
2006
ACM
15 years 5 months ago
2006
ACM
Dynamic languages typically allow programs to be written y high level of abstraction. But their dynamic nature makes it very hard to compile such languages, meaning that a price h...
200
click to vote
ECOOP
2009
Springer
16 years 14 days ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...
117
click to vote
BPM
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we give an overview, how to apply region based methods for the synthesis of Petri nets from languages to process mining. The research domain of process mining aims at...