3616 search results - page 248 / 724 » Support Tucker Machines |
247
click to vote
LPAR
2012
Springer
14 years 2 months ago
2012
Springer
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...
209
click to vote
SIAMCOMP
2012
13 years 9 months ago
2012
Let S be a set of n intervals in R, and let (S, +) be any commutative semigroup. We assign a weight ω(s) ∈ S to each interval in S. For a point x ∈ R, let S(x) ⊆ S be the se...
195
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
One of the novel benefits of virtualization is the ability to emulate many hosts with a single physical machine. This approach is often used to support at-scale testing for large...
215
click to vote
COLT
2003
Springer
15 years 12 months ago
2003
Springer
The application of statistical methods to natural language processing has been remarkably successful over the past two decades. But, to deal with recent problems arising in this ...
172
click to vote
COLT
2000
Springer
15 years 11 months ago
2000
Springer
Output coding is a general framework for solving multiclass categorization problems. Previous research on output codes has focused on building multiclass machines given predefine...