2584 search results - page 502 / 517 » On the Forward Checking Algorithm |
178
click to vote
COCO
2009
Springer
16 years 13 days ago
2009
Springer
Locally testable codes (LTCs) are error-correcting codes for which membership, in the code, of a given word can be tested by examining it in very few locations. Most known constru...
161
click to vote
SPIN
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
162
click to vote
AINA
2008
IEEE
16 years 11 days ago
2008
IEEE
Differentiated quality of service is a way for a website operator to provide different service levels to its clients. Traditional HTTP request scheduling schemes can achieve this,...
169
click to vote
APN
2007
Springer
16 years 1 days ago
2007
Springer
This tool paper describes the functionality of ProM. Version 4.0 of ProM has been released at the end of 2006 and this version reflects recent achievements in process mining. Proc...
168
click to vote
CCS
2007
ACM
16 years 1 days ago
2007
ACM
Human Desoxyribo-Nucleic Acid (DNA) sequences offer a wealth of information that reveal, among others, predisposition to various diseases and paternity relations. The breadth and...