Sciweavers

4306 search results - page 182 / 862
» Timed Testing with TorX
Sort
View
WSC
2007
14 years 29 days ago
Agent-model validation based on historical data
Combat, unlike many real-world processes, tends to be singular in nature. That is, there are not multiple occurrences from which to hypothesize a probability distribution model of...
Lance E. Champagne, Raymond R. Hill
CLEF
2008
Springer
14 years 13 days ago
Combining Logic and Machine Learning for Answering Questions
Abstract. LogAnswer is a logic-oriented question answering system developed by the AI research group at the University of Koblenz-Landau and by the IICS at the University of Hagen....
Ingo Glöckner, Björn Pelzer
WSC
2000
13 years 12 months ago
Simulation as educational support for production and logistics in industrial engineering
The proposed implementation is a monitor system able to train operators for on-line real time manufacturing control in order to analyze the performance of a production process. Th...
Agostino G. Bruzzone, Pietro Giribone, Roberto Rev...
ICASSP
2011
IEEE
13 years 2 months ago
Audio identification based on spectral modeling of bark-bands energy and synchronization through onset detection
In this paper, we present for the first time the fingerprint IRCAM system for audio identification in streams. The baseline system relies on a double-nested Short Time Fourier ...
Mathieu Ramona, Geoffroy Peeters
ATAL
2009
Springer
14 years 5 months ago
Evolutionary testing of autonomous software agents
A system built in terms of autonomous agents may require even greater correctness assurance than one which is merely reacting to the immediate control of its users. Agents make su...
Cu D. Nguyen, Anna Perini, Paolo Tonella, Simon Mi...