Sciweavers

216 search results - page 33 / 44
» Visualizing graphs in three dimensions
Sort
View
APVIS
2008
13 years 9 months ago
Pixelplexing: Gaining Display Resolution Through Time
Animation is frequently utilized to visually depict change in timevarying data sets. For this task, it is a natural fit. Yet explicit animation is rarely employed for static data....
James Shearer, Michael Ogawa, Kwan-Liu Ma, Toby Ko...
CHI
1995
ACM
13 years 11 months ago
Pre-Screen Projection: From Concept to Testing of a New Interaction Technique
Pre-screen projection is a new interaction technique that allows a user to pan and zoom integrally through a scene simply by moving his or her head relative to the screen. The und...
Deborah Hix, James N. Templeman, Robert J. K. Jaco...
JFR
2007
94views more  JFR 2007»
13 years 7 months ago
Vision-aided inertial navigation for pin-point landing using observations of mapped landmarks
In this paper we describe an Extended Kalman Filter (EKF) algorithm for estimating the pose and velocity of a spacecraft during Entry, Descent and Landing (EDL). The proposed esti...
Nikolas Trawny, Anastasios I. Mourikis, Stergios I...
SIGIR
2008
ACM
13 years 7 months ago
Comments-oriented document summarization: understanding documents with readers' feedback
Comments left by readers on Web documents contain valuable information that can be utilized in different information retrieval tasks including document search, visualization, and ...
Meishan Hu, Aixin Sun, Ee-Peng Lim
FM
2006
Springer
146views Formal Methods» more  FM 2006»
13 years 11 months ago
Formal Modeling of Communication Protocols by Graph Transformation
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
Zarrin Langari, Richard J. Trefler