Sciweavers

1712 search results - page 214 / 343
» Assistive technology in computer science
Sort
View
CSL
2007
Springer
16 years 15 days 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
IVA
2005
Springer
15 years 12 months 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
COOPIS
2003
IEEE
15 years 11 months 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...
AGI
2008
15 years 7 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
DAGSTUHL
2010
15 years 7 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...