2584 search results - page 23 / 517 » On the Forward Checking Algorithm |
123
click to vote
VTC
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper considers the problem of selecting a subset of nodes in a two-hop wireless network to act as relays in aiding the communication between the source-destination pair. Opt...
ATVA
2008
Springer
14 years 11 months ago
2008
Springer
Multi-valued Model Checking is an extension of classical, two-valued model checking with multi-valued logic. Multi-valuedness has been proved useful in expressing additional inform...
IJCAI
1997
14 years 11 months ago
1997
Practical applications of description logics (DLs) in knowledge-based systems have forced us to introduce the following features which are absent from existing DLs: • allowing a...
102
click to vote
IJCNN
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— Neural processing of large-scale data sets containing both many input / output variables and a large number of training examples often leads to very large networks. Onc...
JAIR
2007
14 years 9 months ago
2007
We present a new algorithm for probabilistic planning with no observability. Our algorithm, called Probabilistic-FF, extends the heuristic forward-search machinery of Conformant-F...