Sciweavers

GI
2004
Springer
14 years 6 months ago
Personalized Mobile Multimedia meets Location-Based Services
: When traveling and visiting new places, tourists are mobile as they wander around and follow tours through cities and landscapes. Location-based mobile systems today typically pr...
Susanne Boll, Jens Krösche, Ansgar Scherp
GI
2004
Springer
14 years 6 months ago
A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
Jan Olaf Blech, Sabine Glesner
GI
2004
Springer
14 years 6 months ago
Saliency Extraction for Gaze-Contingent Displays
: Organic Computing is beginning to provide computer systems with organic and biological properties. We believe these systems will benefit from user interfaces that integrate the ...
Martin Böhme, Christopher Krause, Thomas Mart...
GI
2004
Springer
14 years 6 months ago
Performance of Symmetric Neighbor Discovery in Bluetooth Ad Hoc Networks
: Ad hoc networking with Bluetooth requires an efficient way of discovering neighbor devices. Based on real-world measurements and simulations we are deriving optimal parameters f...
Diego Bohman, Matthias Frank, Peter Martini, Chris...
GI
2004
Springer
14 years 6 months ago
FUSE BY: Syntax und Semantik zur Informationsfusion in SQL
Abstract: Daten und Informationen heterogener Quellen k¨onnen gleiche Objekte repr¨asentieren und dennoch sich widersprechen oder sich erg¨anzen. Werden solche Daten integriert,...
Jens Bleiholder, Felix Naumann
GI
2004
Springer
14 years 6 months ago
CaveManMX - Computerspielkonzepte in der Multimedia-Programmierausbildung
Abstract: Zur Unterstützung der Programmierausbildung im Bereich Medieninformatik wird ein Spielkonzept vorgestellt, das den Teilnehmern von Veranstaltungen im Bereich Medienprogr...
Malte Beyer, Christian Geiger
GI
2004
Springer
14 years 6 months ago
User Authentication in Sensor Networks
d Abstract) Zinaida Benenson Felix G¨artner Dogan Kesdogan RWTH Aachen, Department of Computer Science, D-52056 Aachen, Germany : If the data collected within a sensor network is ...
Zinaida Benenson, Felix C. Gärtner, Dogan Kes...
GI
2004
Springer
14 years 6 months ago
Experimente mit XP in der Lehre
Ingrid Beckmann, Doris Schmedding
GI
2004
Springer
14 years 6 months ago
Towards Using the Full Human Potential in Games and Virtual Environments
: Humans have complex sensory and control capabilities. Only a few are used in standard games and virtual environments. Examples of games using interfaces beyond mouse, keyboard an...
Steffi Beckhaus