Sciweavers

2836 search results - page 283 / 568
» Towards Hovering Information
Sort
View
MKM
2007
Springer
16 years 29 days ago
Cooperative Repositories for Formal Proofs
We present a new framework for the online development of formalized mathematics. This framework allows wiki-style collaboration while providing users with a rendered and browsable ...
Pierre Corbineau, Cezary Kaliszyk
OOPSLA
2007
Springer
16 years 29 days ago
A framework for distributed collaborative conceptual model development
One of the major concerns in the processes which involve human analysts is the existence of uncertainty/inconsistency. In this paper, we propose a model based on belief theory tha...
Ebrahim Bagheri, Ali A. Ghorbani
181
Voted
ICALT
2006
IEEE
16 years 26 days ago
Estimating the Gaze Point of a Student in a Driving Simulator
In this paper we discuss an approach towards passively observing students in a driving simulator. The goal is to enhance the learning experience for students taking lessons in thi...
Wim Fikkert, Dirk Heylen, Betsy van Dijk, Anton Ni...
178
Voted
IV
2005
IEEE
76views Visualization» more  IV 2005»
16 years 12 days ago
Multidimensional Visualization of Transition Systems
Transition systems are graphs and it is natural to consider their visual representation as a graph visualization problem. They also pose an interesting multidimensional visualizat...
A. Johannes Pretorius, Jarke J. van Wijk
SIGCSE
2005
ACM
240views Education» more  SIGCSE 2005»
16 years 11 days ago
A Java framework for experimentation with steganography
This article describes a Java framework for experimentation with fundamental steganographic techniques. The framework is built on top of Java's image processing libraries and...
Kenny Hunt