4451 search results - page 297 / 891 » On Random Ordering Constraints |
184
click to vote
IR
2006
15 years 6 months ago
2006
The ability to find tables and extract information from them is a necessary component of many information retrieval tasks. Documents often contain tables in order to communicate d...
159
Voted
JACM
2007
15 years 6 months ago
2007
This article provides a new conceptual perspective on survey propagation, which is an iterative algorithm recently introduced by the statistical physics community that is very effe...
190
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
194
click to vote
PR
2008
15 years 6 months ago
2008
Clustering algorithms are increasingly employed for the categorization of image databases, in order to provide users with database overviews and make their access more effective. ...
156
click to vote
CN
2004
15 years 6 months ago
2004
One of the important issues in the design of future generation of high-speed networks is to provide differentiated service to different types of traffic with various time constrai...