1716 search results - page 260 / 344 » Proving Conditional Termination |
158
click to vote
INFOCOM
2007
IEEE
15 years 9 months ago
2007
IEEE
— In this paper, we propose and study a general framework that allows the development of distributed mechanisms to achieve full utilization of multi-hop wireless networks. In par...
123
click to vote
LICS
2007
IEEE
15 years 9 months ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...
129
Voted
VTC
2007
IEEE
15 years 9 months ago
2007
IEEE
We investigate models for uplink interference in wireless systems. Our models account for the effects of outage probabilities. Such an accounting requires a nonlinear, even nonco...
169
click to vote
IROS
2007
IEEE
15 years 9 months ago
2007
IEEE
— For the collaborative control of a team of robots, a set of well-suited high-level control algorithms, especially for path planning and measurement scheduling, is essential. Th...
140
click to vote
AIED
2007
Springer
15 years 9 months ago
2007
Springer
Razzaq and Heffernan (2006) showed that scaffolding compared to hints on demand in an intelligent tutoring system could lead to higher averages on a middle school mathematics post-...