1698 search results - page 174 / 340 » Who Students Interact With |
EATCS
2000
13 years 10 months ago
2000
Formulas of Hoare logic are asserted programs where is a program and , are assertions. The language of programs varies; in the survey [Apt 1980], one finds the language of wh...
ICMLA
2009
13 years 8 months ago
2009
The Mind Speller is a Brain-Computer Interface which enables subjects to spell text on a computer screen by detecting P300 Event-Related Potentials in their electroencephalograms....
AAMAS
2011
Springer
13 years 5 months ago
2011
Springer
The stable marriage problem is a well-known problem of matching men to women so that no man and woman who are not married to each other both prefer each other. Such a problem has a...
CHI
2007
ACM
14 years 10 months ago
2007
ACM
This paper investigates the manner in which decisionmaking is influenced by the impressions given by lifelike agents in negotiation situations. These impressions comprise an agent...
CHI
2005
ACM
14 years 10 months ago
2005
ACM
This paper analyses the stages and circumstances for immersion based on quantitative and qualitative feedback from 563 people who took part in a three week long public trial of a ...