Sciweavers

390 search results - page 48 / 78
» Weather Report Translation Using a Translation Memory
Sort
View
SC
2003
ACM
14 years 2 months ago
ParADE: An OpenMP Programming Environment for SMP Cluster Systems
Demand for programming environments to exploit clusters of symmetric multiprocessors (SMPs) is increasing. In this paper, we present a new programming environment, called ParADE, ...
Yang-Suk Kee, Jin-Soo Kim, Soonhoi Ha
ICRA
2006
IEEE
90views Robotics» more  ICRA 2006»
14 years 2 months ago
A Performance Comparison of Three Algorithms for Proximity Queries Relative to Convex Polyhedra
— This paper presents a comparative analysis relative to the experimental performances of an asymptotically fast and incremental algorithm, recently developed to compute collisio...
Stefano Carpin, Claudio Mirolo, Enrico Pagello
VR
2009
IEEE
200views Virtual Reality» more  VR 2009»
14 years 3 months ago
Can Camera Motions Improve the Perception of Traveled Distance in Virtual Environments?
This paper reports one experiment conducted to evaluate the influence of oscillating camera motions on the perception of traveled distances in virtual environments. In the experi...
Léo Terziman, Anatole Lécuyer, S&eac...
FM
2009
Springer
104views Formal Methods» more  FM 2009»
14 years 3 months ago
A Metric Encoding for Bounded Model Checking
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
Matteo Pradella, Angelo Morzenti, Pierluigi San Pi...
ISCC
2005
IEEE
14 years 2 months ago
An Optically Controlled Module for Wavelength Conversion Circuits
We report an innovative solely optical architecture to implement the centralized wavelength conversion module of the CWC (Controlled Wavelength Conversion) protocol [1]. The propo...
Georgios I. Papadimitriou, Amalia N. Miliou, Andre...