Sciweavers

10435 search results - page 1918 / 2087
» Measuring system normality
Sort
View
SLOGICA
2008
101views more  SLOGICA 2008»
15 years 3 months ago
A Dynamic-Logical Perspective on Quantum Behavior
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...
Alexandru Baltag, Sonja Smets
144
Voted
AROBOTS
2005
115views more  AROBOTS 2005»
15 years 3 months ago
Obstacle Detection and Terrain Classification for Autonomous Off-Road Navigation
Autonomous navigation in cross-country environments presents many new challenges with respect to more traditional, urban environments. The lack of highly structured components in t...
Roberto Manduchi, Andres Castano, A. Talukder, Lar...
154
Voted
TECS
2008
122views more  TECS 2008»
15 years 3 months ago
Quantitative analysis of the speed/accuracy trade-off in transaction level modeling
tion. Transaction Level Modeling (TLM) has been proposed to abstract communication for highspeed system simulation and rapid design space exploration. Although being widely accepte...
Gunar Schirner, Rainer Dömer
JFR
2007
176views more  JFR 2007»
15 years 3 months ago
Two years of Visual Odometry on the Mars Exploration Rovers
NASA’s two Mars Exploration Rovers (MER) have successfully demonstrated a robotic Visual Odometry capability on another world for the first time. This provides each rover with ...
Mark W. Maimone, Yang Cheng, Larry Matthies
129
Voted
JPDC
2007
96views more  JPDC 2007»
15 years 3 months ago
Optimal pipeline decomposition and adaptive network mapping to support distributed remote visualization
This paper discusses algorithmic and implementation aspects of a distributed remote visualization system that optimally decomposes and adaptively maps the visualization pipeline t...
Mengxia Zhu, Qishi Wu, Nageswara S. V. Rao, S. Sit...
« Prev « First page 1918 / 2087 Last » Next »