Sciweavers

5096 search results - page 202 / 1020
» Associations as a Language Construct
Sort
View
MUC
1992
15 years 10 months ago
GE adjunct test report: object-oriented design and scoring for MUC-4
This paper reports on the results of the adjunct test performed by GE for the MUC-4 evaluation of text processing systems . In this test, we evaluated the effect of an object-orie...
George B. Krupka, Lisa F. Rau
APLAS
2007
ACM
15 years 10 months ago
Mixed Inductive/Coinductive Types and Strong Normalization
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...
Andreas Abel
CAI
2009
Springer
16 years 1 months ago
The Graph Programming Language GP
Abstract. GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handlin...
Detlef Plump
CDC
2008
IEEE
109views Control Systems» more  CDC 2008»
16 years 1 months ago
MDLn: A Motion Description Language for networked systems
— In this paper we extend the definition of a Motion Description Language (MDL) to networked systems. This new construction (MDLn) supports inter-agent specification rules as w...
Patrick Martin, Jean-Pierre de la Croix, Magnus Eg...
CICLING
2007
Springer
16 years 24 days ago
Enhancing Cross-Language Question Answering by Combining Multiple Question Translations
One major problem of state-of-the-art Cross Language Question Answering systems is the translation of user questions. This paper proposes combining the potential of multiple transl...
Rita M. Aceves-Pérez, Manuel Montes-y-G&oac...