4166 search results - page 290 / 834 » Automating the constraining process |
128
click to vote
HCI
2007
15 years 5 months ago
2007
On Navy ships, technological developments enable crews to work more efficiently and effectively. However, in such complex, autonomous, and information-rich environments a competiti...
158
click to vote
IJCAI
1997
15 years 5 months ago
1997
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...
134
click to vote
WSC
2000
15 years 5 months ago
2000
We develop a framework for automated optimization of stochastic simulation models using Response Surface Methodology. The framework is especially intended for simulation models wh...
149
click to vote
CIDR
2003
15 years 5 months ago
2003
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...
129
click to vote
WSC
2001
15 years 5 months ago
2001
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 ...