4008 search results - page 94 / 802 » An expressive language of signatures |
145
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
One of the keys to the success of the TPTP and related projects is their consistent use of the TPTP language. The ability of the TPTP language to express solutions as well as probl...
146
click to vote
FSMNLP
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents SFST-PL, a programming language for finite state transducers which is based on extended regular expressions with variables. The programming language is both si...
195
click to vote
ACL
2003
15 years 7 months ago
2003
Many applications of natural language processing technologies involve analyzing texts that concern the psychological states and processes of people, including their beliefs, goals...
187
click to vote
CASC
2010
Springer
15 years 5 months ago
2010
Springer
Computer algebra in scientific computation squarely faces the dilemma of natural mathematical expression versus efficiency. While higher-order programming constructs and parametri...
140
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present an approach to define template languages for generating syntactically correct code. In the first part of the paper, we define the syntax and semantics of a ...