3824 search results - page 481 / 765 » Geometry Constructions Language |
161
click to vote
IS
2007
15 years 4 months ago
2007
level of abstraction which is not only ideally suited for processing data on secondary storage but which also readily absorbs important issues in computational parallelism and in d...
147
click to vote
AIR
2004
15 years 4 months ago
2004
In this paper we describe an approach to the construction of adaptive tutoring systems, based on techniques from the research area of Reasoning about Actions and Change. This appro...
106
click to vote
CORR
2000
Springer
15 years 4 months ago
2000
Springer
stract setting. Then we instantiate this algorithm with specific partial orderings and functions to obtain specific constraint propagation algorithms. In particular, using the noti...
112
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
This paper describes experiments concerned with the automatic analysis of emotions in text. We describe the construction of a large data set annotated for six basic emotions: ange...
129
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...