1716 search results - page 260 / 344 » Proving Conditional Termination |
217
click to vote
INFOCOM
2007
IEEE
16 years 15 days 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...
153
click to vote
LICS
2007
IEEE
16 years 14 days 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...
167
click to vote
VTC
2007
IEEE
16 years 13 days 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...
198
click to vote
IROS
2007
IEEE
16 years 12 days 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...
178
click to vote
AIED
2007
Springer
16 years 11 days 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-...