6794 search results - page 292 / 1359 » Semantics of Visual Languages |
DBA
2004
15 years 2 months ago
2004
This paper discusses how to extend the applicability of the recursive cascade update command of the Xplain query language. This command guarantees termination because cycle detect...
106
click to vote
ANLP
1992
15 years 1 months ago
1992
This paper briefly describes the current implementation status of an intelligent information retrieval system, MARIE, that employs natural language processing techniques. Descript...
115
Voted
IWPSE
2010
IEEE
14 years 10 months ago
2010
IEEE
We describe our experiences with the process of designing a domain-specific language (DSL) and corresponding model transformations. The simultaneous development of the language an...
98
Voted
IWINAC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The brain representations of words and their referent actions and objects appear to be strongly coupled neuronal assemblies distributed over several cortical areas. In th...
107
click to vote
TYPES
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents a new proof language for the Coq proof assistant. This language uses the declarative style. It aims at providing a simple, natural and robust alternative to the...