Sciweavers

1256 search results - page 130 / 252
» Tools for Exploring Natural Language
Sort
View
MODELS
2007
Springer
16 years 16 days 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
FDL
2006
IEEE
16 years 14 days 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
TAICPART
2006
IEEE
170views Education» more  TAICPART 2006»
16 years 12 days 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...
ISMIR
2004
Springer
105views Music» more  ISMIR 2004»
15 years 11 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
NLDB
2004
Springer
15 years 11 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