1456 search results - page 125 / 292 » Two Techniques to Improve Finite Model Search |
ESEM
2009
ACM
14 years 2 months ago
2009
ACM
Over the last 25+ years, the software community has been searching for the best models for estimating variables of interest (e.g., cost, defects, and fault proneness). However, li...
DAC
2003
ACM
14 years 9 months ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...
KES
2006
Springer
13 years 8 months ago
2006
Springer
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...
IEEEMSP
2002
IEEE
14 years 29 days ago
2002
IEEE
— This paper describes a Hidden Markov Model (HMM)-based method of automatic transcription of MIDI (Musical Instrument Digital Interface) signals of performed music. The problem ...
ISPW
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. Using process simulation and AI search methods, we compare software reuse against other possible changes to a project. such as reducing functionality or improving the ski...