1638 search results - page 297 / 328 » Properties of input-consuming derivations |
182
click to vote
TPHOL
2005
IEEE
15 years 11 months ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
174
click to vote
ADHOCNOW
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this work we investigate bounds on throughput and delay performance of a scheduling protocol that derives its decisions from codes traditionally used to correct or det...
174
click to vote
CIKM
2005
Springer
15 years 11 months ago
2005
Springer
Modern query optimizers select an efficient join ordering for a physical execution plan based essentially on the average join selectivity factors among the referenced tables. In ...
155
click to vote
COLT
2005
Springer
15 years 11 months ago
2005
Springer
We consider the problem of learning mixtures of distributions via spectral methods and derive a tight characterization of when such methods are useful. Specifically, given a mixt...
156
click to vote
CSL
2005
Springer
15 years 11 months ago
2005
Springer
Recent work establishes a direct link between the complexity of a linear logic proof in terms of the exchange rule and the topological complexity of its corresponding proof net, ex...