1492 search results - page 153 / 299 » Testing Properties of Constraint-Graphs |
110
click to vote
AMC
2005
15 years 4 months ago
2005
We present an interval branch-and-prune algorithm for computing verified enclosures for the global minimum and all global minimizers of univariate functions subject to bound const...
130
click to vote
AROBOTS
2002
15 years 4 months ago
2002
Tractors are the workhorses of the modern farm. By automating these machines, we can increase the productivity, improve safety, and reduce costs for many agricultural operations. ...
132
click to vote
COMBINATORICS
2004
15 years 3 months ago
2004
In this paper we bring together the areas of combinatorics and propositional satisfiability. Many combinatorial theorems establish, often constructively, the existence of positive...
136
click to vote
CN
2000
15 years 3 months ago
2000
We consider the problem of sampling URLs uniformly at random from the Web. A tool for sampling URLs uniformly can be used to estimate various properties of Web pages, such as the ...
147
click to vote
COMSNETS
2012
13 years 11 months ago
2012
—Researchers choosing to share wireless-network traces with colleagues must first anonymize sensitive information, trading off the removal of information in the interest of iden...