5550 search results - page 630 / 1110 » Different Approaches to Proof Systems |
185
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Knowledge sharing across community boundaries has been discussed in literature as an important source of new knowledge and innovation. Different studies point out the difficulties...
165
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— Human Machine Collaborative Systems (HMCS) have been developed to enhance sensation and suppress extraneous motions or forces during surgical tasks requiring precise motion. Ho...
201
click to vote
AIED
2007
Springer
16 years 1 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...
172
click to vote
ECTEL
2007
Springer
16 years 1 months ago
2007
Springer
Today, systems should react based on explicit demands from the learner or even proactively react based on changes in the working environment. The success of this type of systems de...
170
click to vote
GI
2007
Springer
16 years 1 months ago
2007
Springer
: The fusion of data from different sensorial sources is the most promising method to increase robustness and reliability of environmental perception today. The paper presents an a...