740 search results - page 71 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
124
click to vote
BIOCOMP
2007
15 years 2 months ago
2007
Background: Genetic regulatory networks (GRN) can be described by differential equations with SUM logic which has been found in many natural systems. Identification of the network...
147
click to vote
DSRT
2003
IEEE
15 years 6 months ago
2003
IEEE
“Smart Things” are commonly understood as wireless ad-hoc networked, mobile, autonomous, special purpose computing appliances, usually interacting with their environment impli...
ICHIM
2001
15 years 2 months ago
2001
We describe an electronic guidebook prototype and report on a study of its use in a historic house. Supported by mechanisms in the guidebook, visitors constructed experiences that...
110
click to vote
ICALT
2007
IEEE
15 years 1 months ago
2007
IEEE
Feedback provided to a user is an important part of learning and interaction in e-learning systems. In this paper we present the results of our pilot experiment aimed to study int...
121
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
This paper proposes a controlled experiment to further investigate the usefulness of gaze awareness and gesture recognition in the support of collaborative work at a distance. We ...