565 search results - page 93 / 113 » A Study on Successful Business Intelligence Systems in Pract... |
100
click to vote
SARA
2005
Springer
15 years 7 months ago
2005
Springer
Sets of features in Markov decision processes can play a critical role ximately representing value and in abstracting the state space. Selection of features is crucial to the succe...
AIPS
2009
15 years 2 months ago
2009
Heuristic forward search is the dominant approach to satisficing planning to date. Most successful planning systems, however, go beyond plain heuristic search by employing various...
102
Voted
CN
2010
15 years 1 months ago
2010
The developments in the communication and networking technologies have yielded many existing and envisioned information network architectures such as cognitive radio networks, sen...
127
click to vote
BMCBI
2010
14 years 8 months ago
2010
Background: Elucidating protein-protein interactions (PPIs) is essential to constructing protein interaction networks and facilitating our understanding of the general principles ...
129
click to vote
FMICS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...