1101 search results - page 165 / 221 » Forcing in proof theory |
CHI
2000
ACM
15 years 5 months ago
2000
ACM
We present experimental work that explores the factors governing symmetric bimanual interaction in a two-handed task that requires the user to track a pair of targets, one target ...
121
click to vote
SOFSEM
1999
Springer
15 years 4 months ago
1999
Springer
We study learning scenarios in which multiple learners are involved and “nature” imposes some constraints that force the predictions of these learners to behave coherently. Thi...
129
Voted
ACMACE
2007
ACM
15 years 4 months ago
2007
ACM
Research has argued that social interaction is a primary driving force for gamers to continue to play Massive Multiple Online Role Playing Games (MMORPGs). However, one recent stu...
113
click to vote
ISTCS
1997
Springer
15 years 4 months ago
1997
Springer
Kearns introduced the "statistical query" (SQ) model as a general method for producing learning algorithms which are robust against classification noise. We extend this ...
112
Voted
ICRA
1995
IEEE
15 years 4 months ago
1995
IEEE
—Learning control is a concept for controlling dynamic systems in an iterative manner. It arises from the recognition that robotic manipulators are usually used to perform repeti...