2584 search results - page 37 / 517 » On the Forward Checking Algorithm |
FORMATS
2007
Springer
13 years 11 months ago
2007
Springer
Jackson queueing networks (JQNs) are a very general class of queueing networks that find their application in a variety of settings. The state space of the continuous-time Markov c...
TPHOL
2003
IEEE
14 years 1 months ago
2003
IEEE
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...
ICBA
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, we propose the iris recognition system, which can select the good quality data between left and right eye images of same person. Although iris recognition system has...
ACSD
2003
IEEE
14 years 1 months ago
2003
IEEE
Signal Transition Graphs (STGs) are one of the most popular models for the specification of asynchronous circuits. A STG can be implemented if it admits a so-called consistent an...
ICDT
2009
ACM
14 years 2 months ago
2009
ACM
Managing inconsistency in databases has long been recognized as an important problem. One of the most promising approaches to coping with inconsistency in databases is the framewo...