1075 search results - page 58 / 215 » Multiple Spin-Block Decisions |
CSB
2004
IEEE
13 years 11 months ago
2004
IEEE
We propose a novel technique for automatically generating the SCOP classification of a protein structure with high accuracy. High accuracy is achieved by combining the decisions o...
ITS
2000
Springer
13 years 11 months ago
2000
Springer
DT Tutor uses a decision-theoretic approach to select tutorial actions for coached problem solving that are optimal given the tutor's beliefs and objectives. It employs a mode...
VISSYM
2007
13 years 10 months ago
2007
Lattice graphs are used as underlying data structures in many statistical processing systems, including natural language processing. Lattices compactly represent multiple possible...
AIPS
2004
13 years 9 months ago
2004
Military operations planning involves concurrent actions, resource assignment, and conflicting costs. Individual tasks sometimes fail with a known probability, promoting a decisio...
CADE
2010
Springer
13 years 9 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...