Sciweavers

4586 search results - page 422 / 918
» Computing stable models in parallel
Sort
View
GCC
2003
Springer
15 years 11 months ago
Modeling Distributed Algorithm Using B
Although there have been several attempts to create grid systems, there is no clear definition for grids. In this paper, a formal approach is presented for defining elementary func...
Shengrong Zou
172
Voted
MCU
1998
170views Hardware» more  MCU 1998»
15 years 7 months ago
About the Universality of the Billiard ball model
Block cellular automata (BCA) make local, parallel, synchronous and uniform updates of in nite lattices. In the one-dimensionalcase, there exist BCA with 11 states which are unive...
Jérôme Olivier Durand-Lose
149
Voted
DIGRA
2005
Springer
15 years 11 months ago
Game Engineering for a Multiprocessor Architecture
This paper explores the idea that future game consoles and computers may no longer be single processor units, but instead symmetrical multiprocessor units. If this were to occur g...
Abdennour El Rhalibi, Steve Costa, David England
175
Voted
IROS
2009
IEEE
148views Robotics» more  IROS 2009»
16 years 24 days ago
On the error analysis of vertical line pair-based monocular visual odometry in urban area
Abstract— When a robot travels in urban area, Global Positional System (GPS) signals might be obstructed by buildings. Hence visual odometry is a choice. We notice that the verti...
Ji Zhang, Dezhen Song
ISBI
2007
IEEE
16 years 13 days ago
Brain Surface Conformal Parameterization with the Ricci Flow
In medical imaging, parameterized 3D surface models are of great interest for anatomical modeling and visualization, statistical comparisons of anatomy, and surface-based registra...
Yalin Wang, Xianfeng Gu, Tony F. Chan, Paul M. Tho...