3446 search results - page 104 / 690 » A Reasoning Algorithm for pD* |
109
click to vote
ICPR
2008
IEEE
15 years 8 months ago
2008
IEEE
Graphs are powerful data structures that have many attractive properties for object representation. However, some basic operations are difficult to define and implement, for ins...
105
click to vote
ICICIC
2006
IEEE
15 years 7 months ago
2006
IEEE
Genetic algorithm and neural network (GNN) are integrated to build a financial early warning system. An example of Taiwanese banking industry is discussed to test the hit ratio of...
123
click to vote
ICFEM
2005
Springer
15 years 7 months ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
118
click to vote
LOPSTR
2005
Springer
15 years 7 months ago
2005
Springer
A variable is local if it occurs in a clause body but not in its head. Local variables appear naturally in practical logic programming, but they complicate several aspects such as ...
119
click to vote
SEAL
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. This paper deals with the problem of nurse rostering in Belgian hospitals. This is a highly constrained real world problem that was (until the results of this research we...