6608 search results - page 1060 / 1322 » On the Completeness of Model Checking |
169
click to vote
WSC
2001
15 years 8 months ago
2001
Supply chain decisions are improved with access to global information. However, supply chain partners are frequently hesitant to provide full access to all the information within ...
189
click to vote
WSC
2004
15 years 8 months ago
2004
We investigate factors that impact the effectiveness of caching to speed up discrete event simulation. Walsh and Sirer have shown that a variant of function caching (staged simula...
144
click to vote
AAAI
2000
15 years 8 months ago
2000
We have constructed ADVISOR, a two-agent machine learning architecture for intelligent tutoring systems (ITS). The purpose of this architecture is to centralize the reasoning of a...
143
click to vote
AAAI
2000
15 years 8 months ago
2000
The random k-SAT model is extensively used to compare satisfiability algorithms or to find the best settings for the parameters of some algorithm. Conclusions are derived from the...
237
click to vote
ISDO
2000
15 years 8 months ago
2000
Cross-organizational workflow management is an essential ingredient for process integration in virtual enterprises. To obtain cross-organizational workflow processes with robust s...