Sciweavers

3557 search results - page 561 / 712
» Authoring Presentation for OpenMath
Sort
View
AVI
2004
15 years 7 months ago
3D location-pointing as a navigation aid in Virtual Environments
The navigation support provided by user interfaces of Virtual Environments (VEs) is often inadequate and tends to be overly complex, especially in the case of large-scale VEs. In ...
Luca Chittaro, Stefano Burigat
AVI
2004
15 years 7 months ago
ZoneZoom: map navigation for smartphones with recursive view segmentation
ZoneZoom is an input technique that lets users traverse large information spaces on smartphones. Our technique ZoneZoom, segments a given view of an information space into nine su...
Daniel C. Robbins, Edward Cutrell, Raman Sarin, Er...
CAINE
2004
15 years 7 months ago
Automated Error-Prevention and Error-Detection Tools for Assembly Language
- Automated tools for error prevention and error detection exist for many high-level languages, but have been nonexistent for assembly-language programs, embedded programs in parti...
Lance G. Johnson, David C. Pheanis
DAGSTUHL
2006
15 years 7 months ago
Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems
In this paper we study a class of dynamical systems defined by Pfaffian maps. It is a sub-class of o-minimal dynamical systems which capture rich continuous dynamics and yet can be...
Margarita V. Korovina, Nicolai Vorobjov
IADIS
2004
15 years 7 months ago
Security Assertion Exchange for the Agent on the Semantic Web
The Semantic Web's success will depend on the implementation and use of Web Service becoming preeminent in Ecommerce, which will likely be agent-based in the future. On the S...
Joo-Young Lee, Ki-Young Moon