Sciweavers

1809 search results - page 298 / 362
» Using GDE in Educational Systems
Sort
View
ICADL
2004
Springer
161views Education» more  ICADL 2004»
15 years 9 months ago
An Implementation of Web Image Search Engines
This paper presents our implementation techniques for an intelligent Web image search engine. A reference architecture of the system is provided and addressed in this paper. The s...
Zhiguo Gong, Leong Hou U, Chan Wa Cheang
MODELS
2009
Springer
15 years 8 months ago
Teaching Modeling: Why, When, What?
This paper reports on a panel discussion held during the Educators’ Symposium at MODELS’2009. It shortly explains the context provided for the discussion and outlines the state...
Jean Bézivin, Robert France, Martin Gogolla...
ISMAR
2008
IEEE
15 years 10 months ago
In-place Augmented Reality
In this paper we present a new vision-based approach for transmitting virtual models for Augmented Reality (AR). A two dimensional representation of the virtual models is embedded...
Nate Hagbi, Oriel Bergig, Jihad El-Sana, Klara Ked...
ERCIMDL
2004
Springer
113views Education» more  ERCIMDL 2004»
15 years 9 months ago
Incorporating Physical and Digital Artifacts into Growing Personal Collections
We have produced a system that automatically incorporates syndicated materials from sources including library acquisition records and online news sites to form growing hypertextual...
Pratik Dave, Luis Francisco-Revilla, Unmil Karadka...
JIIS
2008
104views more  JIIS 2008»
15 years 4 months ago
A framework for checking proofs naturally
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
Masahiko Sato