Sciweavers

1256 search results - page 130 / 252
» Tools for Exploring Natural Language
Sort
View
139
Voted
MODELS
2007
Springer
15 years 9 months ago
Deriving Input Partitions from UML Models for Automatic Test Generation
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...
Stephan Weißleder, Bernd-Holger Schlingloff
115
Voted
FDL
2006
IEEE
15 years 9 months ago
Randomized Simulation of Hybrid Systems For Circuit Validation
Abstract. The paper proposes a simulation-based method for validating analog and mixed-signal circuits, using the hybrid systems methodology. This method builds upon RRT (Rapidly-e...
Thao Dang, Tarik Nahhal
145
Voted
TAICPART
2006
IEEE
170views Education» more  TAICPART 2006»
15 years 9 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...
118
Voted
ISMIR
2004
Springer
105views Music» more  ISMIR 2004»
15 years 9 months ago
Pregroup Grammars for Chords
Pregroups had been conceived as an algebraic tool to recognize grammatically well-formed sentences in natural languages [3]. Here we wish to use pregroups to recognize well-formed...
Richard Terrat
148
Voted
NLDB
2004
Springer
15 years 9 months ago
Automatic Report Generation from Ontologies: The MIAKT Approach
This paper presented an approach for automatic generation of reports from domain ontologies encoded in Semantic Web standards like OWL. The paper identifies the challenges that ne...
Kalina Bontcheva, Yorick Wilks