54 search results - page 9 / 11 » Efficient decision ordering techniques for SAT-based test ge... |
96
Voted
WIA
2000
Springer
15 years 1 months ago
2000
Springer
The Mona tool provides an implementation of the decision procedures for the logics WS1S and WS2S. It has been used for numerous applications, and it is remarkably efficient in prac...
IADIS
2003
14 years 11 months ago
2003
Distributed data mining (DDM) is the semi-automatic pattern extraction of distributed data sources. The next generation of the data mining studies will be distributed data mining ...
SIMULATION
1998
14 years 9 months ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
ISMB
1993
14 years 11 months ago
1993
Experiment design and execution is a central activity in the natural sciences. The SeqERsystem provides a general architecture for the integration of automated planning techniques...
153
click to vote
SIGMOD
2009
ACM
15 years 9 months ago
2009
ACM
With large amounts of correlated probabilistic data being generated in a wide range of application domains including sensor networks, information extraction, event detection etc.,...