30 search results - page 5 / 6 » Guaranteeing the Correctness of an Adaptive Tutoring System |
GI
2004
Springer
13 years 10 months ago
2004
Springer
: The transition from microelectronics to nanoelectronics reaches physical limits and results in a paradigm shift in the design and fabrication of electronic circuits. The conserva...
POPL
1989
ACM
13 years 8 months ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
ADHOCNOW
2004
Springer
13 years 10 months ago
2004
Springer
Many ad hoc routing algorithms rely on broadcast flooding for location discovery or more generally for secure routing applications, particularly when dealing with Byzantine threat...
INFOCOM
2010
IEEE
13 years 3 months ago
2010
IEEE
—This paper presents a novel scheme, Layered Internet Video Engineering (LIVE), in which network nodes feed back virtual congestion levels to video senders to assist both media-a...
ESA
2008
Springer
13 years 6 months ago
2008
Springer
In recent years, many speed-up techniques for Dijkstra's algorithm have been developed that make the computation of shortest paths in static road networks a matter of microse...