Sciweavers

1712 search results - page 214 / 343
» Assistive technology in computer science
Sort
View
CSL
2007
Springer
16 years 1 months ago
The Theory of Calculi with Explicit Substitutions Revisited
Calculi with explicit substitutions (ES) are widely used in different areas of computer science. Complex systems with ES were developed these last 15 years to capture the good comp...
Delia Kesner
188
Voted
IVA
2005
Springer
16 years 13 days ago
Training Agents: An Architecture for Reusability
During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. These systems involve very different...
Gonzalo Méndez, Angélica de Antonio
183
Voted
COOPIS
2003
IEEE
16 years 7 days ago
Mining for Lexons: Applying Unsupervised Learning Methods to Create Ontology Bases
Ontologies in current computer science parlance are computer based resources that represent agreed domain semantics. This paper first introduces ontologies in general and subseque...
Marie-Laure Reinberger, Peter Spyns, Walter Daelem...
182
Voted
AGI
2008
15 years 8 months ago
Cognitive Primitives for Automated Learning
Artificial Intelligence deals with the automated simulation of human intelligent behavior. Various aspects of human faculties are tackled using computational models. It is clear th...
Sudharsan Iyengar
229
Voted
DAGSTUHL
2010
15 years 8 months ago
Illustrative Focus+Context Approaches in Interactive Volume Visualization
Illustrative techniques are a new and exciting direction in visualization research. Traditional techniques which have been used by scientific illustrators for centuries are re-exa...
Stefan Bruckner, M. Eduard Gröller, Klaus Mue...