1722 search results - page 209 / 345 » Generating Tests from Counterexamples |
ICASSP
2011
IEEE
13 years 27 days ago
2011
IEEE
In this paper, a robust feature for text-independent speaker recognition is proposed, which simulate the response mode of cochlear neurons in processing acoustic signal. The featu...
ADC
2008
Springer
14 years 3 months ago
2008
Springer
This article describes how to implement efficient memory resident path indexes for semi-structured data. Two techniques are introduced, and they are shown to be significantly fas...
MUM
2005
ACM
14 years 2 months ago
2005
ACM
Location information is becoming increasingly important in many pervasive computing applications. Reliance on accurate local knowledge of location is often critical to providing e...
AWIC
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Negotiation plays a fundamental role in systems composed of multiple autonomous agents. Some negotiations may require a more elaborated dialogue where agents would explai...
GECCO
2003
Springer
14 years 2 months ago
2003
Springer
This paper discusses a new model of parallel evolutionary algorithms (EAs) called the specialized island model (SIM) that can be used to generate a set of diverse non-dominated sol...