Sciweavers

3238 search results - page 44 / 648
» Not Enough Points Is Enough
Sort
View
IEEEPACT
2003
IEEE
14 years 1 months ago
Reactive Multi-Word Synchronization for Multiprocessors
Shared memory multiprocessor systems typically provide a set of hardware primitives in order to support synchronization. Generally, they provide single-word read-modify-write hard...
Phuong Hoai Ha, Philippas Tsigas
PG
2003
IEEE
14 years 29 days ago
Interactive 3D Model Acquisition and Registration
The acquisition of geometric information from realworld objects has become a major way of modeling complex scenes and environments. Unfortunately, most optical methods for geometr...
Yushuang Liu, Wolfgang Heidrich
PLDI
2003
ACM
14 years 29 days ago
A static analyzer for large safety-critical software
d Abstract) Bruno Blanchet∗ § Patrick Cousot§ Radhia Cousot∗¶ J´erˆome Feret§ Laurent Mauborgne§ Antoine Min´e§ David Monniaux∗§ Xavier Rival§ that abstract inter...
Bruno Blanchet, Patrick Cousot, Radhia Cousot, J&e...
IFSA
2003
Springer
101views Fuzzy Logic» more  IFSA 2003»
14 years 27 days ago
Commutativity as Prior Knowledge in Fuzzy Modeling
In fuzzy modeling (FM), the quantity and quality of the training set is crucial to properly grasp the behavior of the system being modeled. However, the available data are often n...
Pablo Carmona, Juan Luis Castro, Jose Manuel Zurit...
ICRA
2002
IEEE
141views Robotics» more  ICRA 2002»
14 years 19 days ago
Realtime Humanoid Motion Generation through ZMP Manipulation Based on Inverted Pendulum Control
Humanoid robot is expected as a rational form of machine to act in the real human environment and support people through interaction with them. Current humanoid robots, however, l...
Tomomichi Sugihara, Yoshihiko Nakamura, Hirochika ...