Sciweavers

11740 search results - page 331 / 2348
» More Problems in Rewriting
Sort
View
AAAI
1997
15 years 8 months ago
Bayes Networks for Estimating the Number of Solutions to a CSP
The problem of counting the number of solutions to a constraint satisfaction problem (CSP) is rephrased in terms of probability updating in Bayes networks. Approximating the proba...
Amnon Meisels, Solomon Eyal Shimony, Gadi Solotore...
WSC
1998
15 years 8 months ago
Simulation Case Studies in the Print/Finish Industry
Process simulation is a powerful analysis tool used in many industries. It allows companies to be proactive in determining what strategies will be successful. For this reason, man...
Tim Curran, D. Michelle Benjamin, Sue Austin
IJCAI
1989
15 years 7 months ago
Learning to Diagnose by Doing
This paper is a study on the process of evolution of a novice to an expert in a diagnostic context. In er, we have chosen an abstract example of a diagnostic problem. The results ...
Jayant Kalagnanam, Eswaran Subrahmanian
IJCAI
1989
15 years 7 months ago
A Sequential View of AND-Parallelism Through Partial AND-Processes
Most implementations of AND-parallelism tackle the shared variable problem by running literals in parallel only if they have no variables in common and thus are independent from e...
Bernd Schend
CCCG
2009
15 years 7 months ago
Clarkson's Algorithm for Violator Spaces
Clarkson's algorithm is a two-staged randomized algorithm for solving linear programs, but it can also be applied to the more general LP-type problems which comprise a number...
Yves Brise, Bernd Gärtner