6560 search results - page 1009 / 1312 » The Human Context of Information Systems |
211
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
194
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Reinforcement learning is a framework in which an agent can learn behavior without knowledge on a task or an environment by exploration and exploitation. Striking a balance betw...
137
click to vote
TABLETOP
2007
IEEE
16 years 1 months ago
2007
IEEE
Ortholumen is a light pen based tabletop interaction system that can employ all the pen’s spatial degrees of freedom (DOF). The pen’s light is projected from above onto a hori...
150
click to vote
ICMCS
2006
IEEE
16 years 24 days ago
2006
IEEE
With the advent and proliferation of digital cameras and computers, the number of digital photos created and stored by consumers has grown extremely large. This created increasing...
148
click to vote
ACMDIS
2006
ACM
16 years 22 days ago
2006
ACM
By considering the spatial character of sensor-based interactive systems, this paper investigates how discussions of seams and seamlessness in ubiquitous computing neglect the com...