Sciweavers

3387 search results - page 225 / 678
» Automating the Metamodeling Process
Sort
View
IJCAI
1997
15 years 7 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
WSC
2000
15 years 7 months ago
A framework for Response Surface Methodology for simulation optimization
We develop a framework for automated optimization of stochastic simulation models using Response Surface Methodology. The framework is especially intended for simulation models wh...
H. Gonda Neddermeijer, Gerrit J. van Oortmarssen, ...
CIDR
2003
103views Algorithms» more  CIDR 2003»
15 years 8 months ago
Active Server Availability Feedback
The current software development process in common use within industry is inefficient, in that the time required to incorporate results from competitive, beta, and previous releas...
James R. Hamilton
WSC
2001
15 years 8 months ago
Analyzing the supply chain for a large logistics operation using simulation
This paper presents a case study of using simulation for analyzing the impact of proposed changes in the supply chain processes for a large logistics operation. The major changes ...
Sanjay Jain, Eric C. Ervin, Andrew P. Lathrop, Rus...
ICASSP
2011
IEEE
14 years 10 months ago
Scheduling of CAL actor networks based on dynamic code analysis
CAL is a dataflow oriented language for writing high-level specifications of signal processing applications. The language has recently been standardized and selected for the new...
Jani Boutellier, Olli Silvén, Mickaël ...