4078 search results - page 607 / 816 » Automatic rate adaptation |
144
click to vote
ITS
2010
Springer
15 years 6 months ago
2010
Springer
A vital goal of instruction is to enable learners to transfer acquired knowledge to appropriate future situations. For elementary school children in middle-high-SES schools, “exp...
144
click to vote
MMB
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
157
click to vote
ACMACE
2007
ACM
15 years 6 months ago
2007
ACM
We present a method for sharing visual information in 3D virtual environments, using a projective texture mapping based method. Avatars can share information with other avatars by...
170
click to vote
DEBS
2008
ACM
15 years 6 months ago
2008
ACM
We introduce a new type of query, called a real-time continuous query (RCQ), that captures the real-time requirements of processing data streams. We develop techniques to efficien...
136
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper we describe the IAMwildCAT agent, designed for the TAC Market Design game which is part of the International Trading Agent Competition. The objective of an ...