Sciweavers

8009 search results - page 37 / 1602
» cans 2005
Sort
View
ACII
2005
Springer
15 years 5 months ago
Informal User Interface for Graphical Computing
This paper explores a concept of sketch-based informal user interface for graphic computing, which can be characterized by two properties: strokebased input and perceptual processi...
Zhengxing Sun, Jing Liu
AIED
2005
Springer
15 years 5 months ago
Using Schema Analysis for Feedback in Authoring Tools for Learning Environments
Course material for electronic learning environments is often structured using schema languages. During the specification and development of course material, many mistakes can be m...
Harrie Passier, Johan Jeuring
AIME
2005
Springer
15 years 5 months ago
Web Mining Techniques for Automatic Discovery of Medical Knowledge
In this paper, we propose an automatic and autonomous methodology to discover taxonomies of terms from the Web and represent retrieved web documents into a meaningful organization....
David Sánchez, Antonio Moreno
ASM
2005
ASM
15 years 5 months ago
Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...
Andrey Novikov, Rostislav Yavorskiy
ATAL
2005
Springer
15 years 5 months ago
Coordination of quantum internet agents
Intelligent agents in the quantum internet are supposed to operate on networked hybrid quantum computers to individually or jointly accomplish their goals by means of both classic...
Matthias Klusch