Sciweavers

627 search results - page 92 / 126
» Experiences in Modeling for a Domain Specific Language
Sort
View
COMPSAC
2006
IEEE
14 years 2 months ago
A Practical Approach for Automated Test Case Generation using Statecharts
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
Valdivino A. Santiago, Ana Silvia Martins do Amara...
CP
2007
Springer
14 years 2 months ago
Encodings of the Sequence Constraint
Abstract. The SEQUENCE constraint is useful in modelling car sequencing, rostering, scheduling and related problems. We introduce half a dozen new encodings of the SEQUENCE constra...
Sebastian Brand, Nina Narodytska, Claude-Guy Quimp...
LREC
2010
164views Education» more  LREC 2010»
13 years 9 months ago
Practical Evaluation of Speech Recognizers for Virtual Human Dialogue Systems
We perform a large-scale evaluation of multiple off-the-shelf speech recognizers across diverse domains for virtual human dialogue systems. Our evaluation is aimed at speech recog...
Xuchen Yao, Pravin Bhutada, Kallirroi Georgila, Ke...
JODS
2008
424views Data Mining» more  JODS 2008»
13 years 8 months ago
Semantically Processing Parallel Colour Descriptions
Information integration and retrieval are useful tasks in many information systems. In these systems, it is far from an easy task to directly integrate information from natural lan...
Shenghui Wang, Jeff Z. Pan
POPL
2012
ACM
12 years 3 months ago
Deciding choreography realizability
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
Samik Basu, Tevfik Bultan, Meriem Ouederni