Sciweavers

7167 search results - page 316 / 1434
» A Technique for Invariant Generation
Sort
View
QSIC
2009
IEEE
16 years 2 months ago
From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
Valentin Chimisliu, Christian Schwarzl, Bernhard P...
GECCO
2004
Springer
110views Optimization» more  GECCO 2004»
16 years 29 days ago
Grammatical Constant Creation
This study examines the utility of grammatical ephemeral random constants, and conducts an analysis of the preferences of evolutionary search when a number of different grammar ba...
Ian Dempsey, Michael O'Neill, Anthony Brabazon
ACL
1998
15 years 9 months ago
Learning Intonation Rules for Concept to Speech Generation
In this paper, we report on an effort to provide a general-purpose spoken language generation tool for Concept-to-Speech (CTS) applications by extending a widely used text generat...
Shimei Pan, Kathleen McKeown
ECCV
2006
Springer
16 years 9 months ago
Maximally Stable Local Description for Scale Selection
Scale and affine-invariant local features have shown excellent performance in image matching, object and texture recognition. This paper optimizes keypoint detection to achieve sta...
Cordelia Schmid, Gyuri Dorkó
WACV
2002
IEEE
16 years 14 days ago
Pose Estimation and Integration for Complete 3D Model Reconstruction
An automatic 3D model reconstruction technique is presented to acquire complete 3D models of real objects. The technique is based on novel approaches to pose estimation and integr...
Soon-Yong Park, Murali Subbarao