Sciweavers

3827 search results - page 157 / 766
» The Epsilon Generation Language
Sort
View
166
Voted
TAICPART
2006
IEEE
170views Education» more  TAICPART 2006»
15 years 11 months ago
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
José García-Fanjul, Claudio de la Ri...
128
Voted
TACAS
1997
Springer
72views Algorithms» more  TACAS 1997»
15 years 9 months ago
The Term Processor Generator Kimwitu
The Kimwitu system is a meta-tool that supports the construction of programs (tools) that operate on trees or terms. The system supports open multi-paradigm programming, in that i...
Peter van Eijk, Axel Belinfante, Henk Eertink, Hen...
COCOON
2006
Springer
15 years 8 months ago
Varieties Generated by Certain Models of Reversible Finite Automata
Reversible finite automata with halting states (RFA) were first considered by Ambainis and Freivalds to facilitate the research of KondacsWatrous quantum finite automata. In this ...
Marats Golovkins, Jean-Eric Pin
170
Voted
AAAI
2007
15 years 7 months ago
ASKNet: Automatically Generating Semantic Knowledge Networks
The ASKNet project uses a combination of NLP tools and spreading activation to transform natural language text into semantic knowledge networks. Network fragments are generated fr...
Brian Harrington
125
Voted
ACL
2008
15 years 6 months ago
Intrinsic vs. Extrinsic Evaluation Measures for Referring Expression Generation
In this paper we present research in which we apply (i) the kind of intrinsic evaluation metrics that are characteristic of current comparative HLT evaluation, and (ii) extrinsic,...
Anja Belz, Albert Gatt