1716 search results - page 263 / 344 » Proving Conditional Termination |
129
click to vote
ICNP
2005
IEEE
15 years 9 months ago
2005
IEEE
While extensive efforts have been devoted to providing optimization based, distributed congestion control schemes for efficient bandwidth utilization and fair allocation in both ...
102
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
— In this paper we present a mathematical model of the TRIKKE, a human-powered scooter produced by Trikke Tech Inc. The Trikke is a three-wheeled, single-rider vehicle that can b...
111
Voted
INFOCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
— When heterogeneous congestion control protocols that react to different pricing signals share the same network, the resulting equilibrium may no longer be interpreted as a solu...
108
click to vote
SAC
2005
ACM
15 years 8 months ago
2005
ACM
As opposed to finite domain CSPs, arc consistency cannot be enforced, in general, on CSPs over the reals, including very simple instances. In contrast, a stronger property, the s...
116
click to vote
AIED
2005
Springer
15 years 8 months ago
2005
Springer
: Two problem solving strategies, forward chaining and backward chaining, were compared to see how they affect students’ learning of geometry theorem proving with construction. I...