Sciweavers

2594 search results - page 191 / 519
» Environment as Active Support of Interaction
Sort
View
VRML
2004
ACM
16 years 7 days ago
Automatic derivation of electronic maps from X3D/VRML worlds
Maps of physical environments and geographical areas are pervasively exploited in many human activities. Electronic maps of virtual worlds have been studied and proven to be usefu...
Lucio Ieronutti, Roberto Ranon, Luca Chittaro
CIKM
2000
Springer
15 years 10 months ago
Visual Query and Analysis Tool of the Object-Relational GIS Framework
Geographic Information Systems (GISs) have become an essential tool for efficient handling of our natural and artificial environment. The most important activities in a GIS are qu...
Zoran Stojanovic, Slobodanka Djordjevic-Kajan, Dra...
FECS
2007
184views Education» more  FECS 2007»
15 years 8 months ago
Collaboratory: An Open Source Teaching and Learning Facility for Computer Science and Engineering Education
In this paper we present an innovative prototype Open Source Teaching/Learning Collaboratory created at UC Merced that will provide the foundation for offering the vast majority of...
Jeff Wright, Stefano Carpin, Alberto Cerpa, German...
JIIS
2008
104views more  JIIS 2008»
15 years 6 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
PERVASIVE
2008
Springer
15 years 6 months ago
Providing an Integrated User Experience of Networked Media, Devices, and Services through End-User Composition
Networked devices for the storage and rendering of digital media are rapidly becoming ubiquitous in homes throughout the industrialized world. Existing approaches to home media con...
Mark W. Newman, Ame Elliott, Trevor F. Smith