1800 search results - page 88 / 360 » Feature Interaction in Composed Systems |
ICMCS
2006
IEEE
15 years 6 months ago
2006
IEEE
Here I describe a couple of new principles with regard to interactions and integrations of multiple sensory channels in the human brain. First, as opposed to the general belief th...
102
click to vote
CADE
1994
Springer
15 years 4 months ago
1994
Springer
Pi is a system for the interactive construction and editing of formal derivations in the calculus of finitary partial inductive definitions. This calculus can be used as a logical ...
102
click to vote
ICMB
2007
IEEE
15 years 3 months ago
2007
IEEE
Whilst Augmented Reality (AR) has been a prevalent research topic it has proved difficulty to implement and apply in commercial situations as it generally requires complex and exp...
105
click to vote
ENTCS
2008
14 years 12 months ago
2008
We do not interact with systems without first performing some physical action on a physical device. This paper shows how formal notations and formal models can be developed to acc...
104
click to vote
AIED
2007
Springer
15 years 6 months ago
2007
Springer
This paper describes an approach to support practitioners in the analysis of computer-supported learning processes by utilizing logfiles of learners’ actions captured by the sys...