2123 search results - page 144 / 425 » The study of models of intelligent interfaces |
184
click to vote
ECBS
2010
IEEE
16 years 1 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
164
click to vote
IJON
2010
15 years 4 months ago
2010
A basic understanding of the relationship between activity of individual neurons and macroscopic electrical activity of local field potentials or electroencephalogram (EEG) may pro...
212
click to vote
AIED
2005
Springer
15 years 12 months ago
2005
Springer
SuperDuperWalker is a software-based framework for experiments on the evolution of locomotion. It simulates the behavior of evolving agents in a 3D physical simulation environment ...
165
click to vote
AIPS
2007
15 years 8 months ago
2007
A great effort has been made today in the area of Artificial Intelligence for defining reliable automated planning systems that can be applied in real life applications. That le...
163
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
In this paper, we propose a novel method, FingerSense to enhance the expressiveness of physical buttons. In a FingerSense enabled input device, a pressing action is differentiated...