2584 search results - page 282 / 517 » On the Forward Checking Algorithm |
167
click to vote
ICLP
2007
Springer
16 years 23 days 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...
137
click to vote
MM
2005
ACM
16 years 5 days 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...
167
click to vote
WG
2004
Springer
15 years 12 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...
138
Voted
ISCAS
2002
IEEE
15 years 11 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...
143
Voted
CPM
2010
Springer
15 years 11 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...