Sciweavers

1414 search results - page 189 / 283
» Automated Metamorphic Testing
Sort
View
ICCBR
2005
Springer
14 years 1 months ago
Evaluating the Effectiveness of Exploration and Accumulated Experience in Automatic Case Elicitation
Non-learning problem solvers have been applied to many interesting and complex domains. Experience-based learning techniques have been developed to augment the capabilities of cert...
Jay H. Powell, Brandon M. Hauff, John D. Hastings
ICMLC
2005
Springer
14 years 1 months ago
Evolutionary Synthesis of Micromachines Using Supervisory Multiobjective Interactive Evolutionary Computation
A novel method of Interactive Evolutionary Computation (IEC) for the design of microelectromechanical systems (MEMS) is presented. As the main limitation of IEC is human fatigue, a...
Raffi R. Kamalian, Ying Zhang, Hideyuki Takagi, Al...
LPAR
2005
Springer
14 years 1 months ago
Incremental Integrity Checking: Limitations and Possibilities
Integrity checking is an essential means for the preservation of the intended semantics of a deductive database. Incrementality is the only feasible approach to checking and can be...
Henning Christiansen, Davide Martinenghi
POLICY
2005
Springer
14 years 1 months ago
Adding Policy-Based Control to Mobile Hosts Switching between Streaming Proxies
We add a simple policy-based control component to mobile hosts that enables them to control the continuous reception of live multimedia content (e.g. a TV broadcast) while they sw...
Malohat Ibrohimovna Kamilova, Cristian Hesselman, ...
ADS
2004
Springer
14 years 1 months ago
Modeling and Synthesizing Emotional Speech for Catalan Text-to-Speech Synthesis
This paper describes an initial approach to emotional speech synthesis in Catalan based on a diphone concatenation TTS system. The main goal of this work is to develop a simple pro...
Ignasi Iriondo Sanz, Francesc Alías, Javier...