396 search results - page 69 / 80 » Combining decision procedures for the reals |
113
click to vote
GECCO
2009
Springer
15 years 5 months ago
2009
Springer
Many approaches to active learning involve training one classifier by periodically choosing new data points about which the classifier has the least confidence, but designing a co...
MT
1998
15 years 1 months ago
1998
Sentence alignment is the problem of making explicit the relations that exist between the sentences of two texts that are known to be mutual translations. Automatic sentence align...
116
click to vote
TON
1998
15 years 1 months ago
1998
IP traffic on the Internet and private enterprise networks has been growing exponentially for some time. This growth is beginning to stress the traditional, processor based design...
136
click to vote
TSMC
2002
15 years 1 months ago
2002
There are a lot of industrial applications that can be solved competitively by hard computing, while still requiring the tolerance for imprecision and uncertainty that can be explo...
127
click to vote
CC
2010
Springer
14 years 11 months ago
2010
Springer
We prove that the concept class of disjunctions cannot be pointwise approximated by linear combinations of any small set of arbitrary real-valued functions. That is, suppose that t...