568 search results - page 97 / 114 » A Machine Translation System for the Target Language Inexper... |
101
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
We present an XML-based simulation authoring environment. The proposed description language allows to describe mathematical objects such as systems of ordinary differential equat...
113
click to vote
MEMOCODE
2003
IEEE
15 years 4 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
ICLP
1995
Springer
15 years 3 months ago
1995
Springer
We present the wamcc system, a Prolog compiler that translates Prolog to C via the WAM. This approach has some interesting consequences: simplicity, efficiency, portability, exten...
COLING
2008
15 years 1 months ago
2008
Electronic written texts used in computermediated interactions (e-mails, blogs, chats, etc) present major deviations from the norm of the language. This paper presents an comparat...
107
click to vote
RTA
2007
Springer
15 years 5 months ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...