Sciweavers

668 search results - page 71 / 134
» Implementing and Evaluating Automatic Checkpointing
Sort
View
KES
2006
Springer
14 years 9 months ago
Neural Network Classification of Diesel Spray Images
This paper describes an evaluation of a neural network technique for modelling fuel spray penetration in the cylinder of a diesel internal combustion engine. The model was implemen...
Simon D. Walters, Shaun H. Lee, Cyril Crua, Robert...
ASE
2005
102views more  ASE 2005»
14 years 9 months ago
Tool-Supported Verification of Product Line Requirements
A recurring difficulty for organizations that employ a product-line approach to development is that when a new product is added to an existing product line, there is currently no a...
Prasanna Padmanabhan, Robyn R. Lutz
COLING
2002
14 years 9 months ago
Paraphrasing of Chinese Utterances
One of the key issues in spoken language translation is how to deal with unrestricted expressions in spontaneous utterances. This research is centered on the development of a Chin...
Yujie Zhang, Kazuhide Yamamoto
ENTCS
2007
123views more  ENTCS 2007»
14 years 9 months ago
Proving Termination of Context-Sensitive Rewriting with MU-TERM
Context-sensitive rewriting (CSR) is a restriction of rewriting which forbids reductions on selected arguments of functions. Proving termination of CSR is an interesting problem w...
Beatriz Alarcón, Raúl Gutiérr...
GEM
2009
14 years 7 months ago
Evolutionary Methods in Self-organizing System Design
Self-organizing systems could serve as a solution for many technical problems where properties like robustness, scalability, and adaptability are required. However, despite all the...
Istvan Fehervari, Wilfried Elmenreich