2200 search results - page 192 / 440 » Bloch's Constant is Computable |
156
click to vote
LCN
2007
IEEE
16 years 25 days ago
2007
IEEE
— Data aggregation is a method used in sensor networks to reduce the amount of messages transported. By aggregating, the data contained in several messages is fused into one sing...
144
click to vote
LICS
2007
IEEE
16 years 25 days ago
2007
IEEE
We show that tree-like (Gentzen’s calculus) PK where all cut formulas have depth at most a constant d does not simulate cut-free PK. Generally, we exhibit a family of sequents t...
175
click to vote
LICS
2007
IEEE
16 years 25 days ago
2007
IEEE
Higher-order matching is the problem given t = u where t, u are terms of simply typed λ-calculus and u is closed, is there a substitution θ such that tθ and u have the same nor...
151
click to vote
AIED
2007
Springer
16 years 23 days ago
2007
Springer
The efficacy of a tutoring system for pre-algebra instruction plus human tutoring was compared to instruction provided to small groups of middle school students by experienced huma...
146
click to vote
COCO
2007
Springer
16 years 22 days ago
2007
Springer
We consider the problem of counting the number of spanning trees in planar graphs. We prove tight bounds on the complexity of the problem, both in general and especially in the mo...