1620 search results - page 172 / 324 » Testing Polymorphic Properties |
137
click to vote
AROBOTS
2002
15 years 5 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. ...
141
click to vote
COMBINATORICS
2004
15 years 5 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...
152
click to vote
CN
2000
15 years 4 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 ...
137
click to vote
CORR
2010
Springer
15 years 2 days ago
2010
Springer
We present sublinear-time (randomized) algorithms for finding simple cycles of length at least k 3 and tree-minors in bounded-degree graphs. The complexity of these algorithms is...
133
click to vote
SIGPRO
2010
14 years 12 months ago
2010
In this paper, we address the problem of determining the order of MISO channels by means of a series of hypothesis tests based on scalar statistics. Using estimated 4th-order outp...