Sciweavers

7340 search results - page 272 / 1468
» The Behavior of Tutoring Systems
Sort
View
SIGMOD
1998
ACM
166views Database» more  SIGMOD 1998»
15 years 10 months ago
CONTROL: Continuous Output and Navigation Technology with Refinement On-Line
The CONTROL project at U.C. Berkeley has developed technologies to provide online behavior for data-intensive applications. Using new query processing algorithms, these technologi...
Ron Avnur, Joseph M. Hellerstein, Bruce Lo, Chris ...
ICDCSW
2000
IEEE
15 years 10 months ago
Compositional Verification of a Third Generation Mobile Communication Protocol
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
Sari Leppänen, Matti Luukkainen
WCE
2007
15 years 7 months ago
Adaptive Automata Community Detection and Clustering: A generic methodology
— We present in this paper a generic methodology based on genetic automata for modelling community detection. With Communities, we deal with dynamic organizations which are self-...
Rawan Ghnemat, Cyrille Bertelle, Gérard Hen...
TROB
2008
140views more  TROB 2008»
15 years 6 months ago
Analysis of Humanoid Appearances in Human-Robot Interaction
- It is important to identify how much the appearance of a humanoid robot affects human behaviors toward it. We compared participants' impressions of and behaviors toward two ...
Takayuki Kanda, Takahiro Miyashita, Taku Osada, Yu...
AAAI
2012
13 years 9 months ago
Strategic Advice Provision in Repeated Human-Agent Interactions
This paper addresses the problem of automated advice provision in settings that involve repeated interactions between people and computer agents. This problem arises in many real ...
Amos Azaria, Zinovi Rabinovich, Sarit Kraus, Claud...