Sciweavers

5470 search results - page 749 / 1094
» Distributed Control Lab
Sort
View
IJCAI
1997
15 years 8 months ago
High Performance ATP Systems by Combining Several AI Methods
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
Jörg Denzinger, Marc Fuchs, Matthias Fuchs
ISMB
1997
15 years 8 months ago
Identifying Chimerism in Proteins Using Hidden Markov Models of Codon Usage
Protein chimerism is a phenomenon involving the combination of multiple ancestral sequences into a single, multi-domain protein through evolution. We propose a novel method for de...
Lawrence Hunter, Barry Zeeberg
WSC
2000
15 years 8 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...
WSC
1997
15 years 8 months ago
SmartATMS: A Simulator for Air Traffic Management Systems
Air Traffic Management Systems (ATMS) of the future will feature Free Flight, in which aircraft choose their own routes, altitude, and speed, and automated conflict resolution me...
Tak-Kuen John Koo, Yi Ma, George J. Pappas, Claire...
GECCO
2008
Springer
135views Optimization» more  GECCO 2008»
15 years 8 months ago
iBOA: the incremental bayesian optimization algorithm
This paper proposes the incremental Bayesian optimization algorithm (iBOA), which modifies standard BOA by removing the population of solutions and using incremental updates of t...
Martin Pelikan, Kumara Sastry, David E. Goldberg