7619 search results - page 73 / 1524 » Interaction, observance or both |
95
Voted
JIIS
2008
15 years 23 days ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
107
Voted
FGR
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—Vision-based prop-free pointing detection is challenging both from an algorithmic and a systems standpoint. From a computer vision perspective, accurately determining wh...
115
click to vote
ATAL
2011
Springer
14 years 23 days ago
2011
Springer
We develop an algorithm for opponent modeling in large extensive-form games of imperfect information. It works by observing the opponent’s action frequencies and building an opp...
98
Voted
CSCW
2012
ACM
13 years 8 months ago
2012
ACM
Recent advances in ubiquitous technology have greatly changed the way people stay connected. We conducted an in-depth video shadowing study to observe how close-knit groups use al...
79
Voted
TEI
2010
ACM
15 years 7 months ago
2010
ACM
This paper discusses observations of visitor interactions around a museum installation, focusing on how physical setup and shape of two variants of the installation, a telescope-l...