2584 search results - page 282 / 517 » On the Forward Checking Algorithm |
118
click to vote
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
97
Voted
MM
2005
ACM
15 years 8 months ago
2005
ACM
This paper introduces a novel and very accurate segmentation algorithm. It is very efficient and consumes less than 10% of CPU on a simple desktop PC to segment a stream in real-t...
120
click to vote
WG
2004
Springer
15 years 8 months ago
2004
Springer
The clique problem consists in determining whether an undirected graph G of order n contains a clique of order . In this paper we are concerned with the decremental version of cliq...
ISCAS
2002
IEEE
15 years 8 months ago
2002
IEEE
Wireless multicast/broadcast sessions, unlike wired networks, inherently reaches several nodes with a single transmission. For omnidirectional wireless broadcast to a node, all no...
102
click to vote
CPM
2010
Springer
15 years 8 months ago
2010
Springer
A proper factor u of a string y is a cover of y if every letter of y is within some occurrence of u in y. The concept generalises the notion of periods of a string. An integer arra...