1580 search results - page 89 / 316 » CoTeSys - Cognition for Technical Systems |
188
click to vote
ACSE
1996
ACM
15 years 10 months ago
1996
ACM
The need for the teaching of professional skills to undergraduates in areas such as communications, team work, conflict resolution, and ethics has for some time been articulated b...
162
click to vote
APLAS
2004
ACM
15 years 10 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
210
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
In this poster, we will propose a framework for finding, recommending and inserting learning objects in a digital repository level, exploiting the user context that is captured fro...
169
click to vote
CHI
1995
ACM
15 years 10 months ago
1995
ACM
Multimodal interactive systems support multiple interaction techniques such as the synergistic use of speech and direct manipulation. The flexibility they offer results in an incr...
141
click to vote
CICLING
2010
Springer
15 years 9 months ago
2010
Springer
This paper presents a machine learning approach to the study of translationese. The goal is to train a computer system to distinguish between translated and non-translated text, in...