961 search results - page 2 / 193 » Automatic design synthesis with artificial intelligence tech... |
CSE
2009
IEEE
14 years 1 months ago
2009
IEEE
Interobserver reliability and reproducibility are well known problems in experimental research within the social and behavioural sciences. We propose the use of formal techniques ...
EVOW
2003
Springer
13 years 12 months ago
2003
Springer
This paper explores the application of evolutionary techniques to the design of novel sounds and their characteristics during performance. It is based on the “selective breeding...
AUSAI
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. We present a comparative study of corpus-based methods for the automatic synthesis of email responses to help-desk requests. Our methods were developed by considering two...
TABLEAUX
2009
Springer
14 years 1 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
EVOW
2004
Springer
14 years 2 days ago
2004
Springer
An evolutionary approach to design communication protocols from scenario-based specifications is presented. It enables to automatically generate finite-state models of protocol ent...