Sciweavers

4502 search results - page 699 / 901
» Regular Model Checking
Sort
View
PVM
2007
Springer
16 years 11 days ago
Revealing the Performance of MPI RMA Implementations
The MPI remote-memory access (RMA) operations provide a different programming model from the regular MPI-1 point-to-point operations. This model is particularly appropriate for ca...
William D. Gropp, Rajeev Thakur
HICSS
2006
IEEE
73views Biometrics» more  HICSS 2006»
16 years 9 days ago
Determining Success for Different Website Goals
In building a successful website it is imperative that the design matches the organization’s objectives, which should be well defined. Clearly, different types of websites will ...
L. Christian Schaupp, Weiguo Fan, France Belanger
IROS
2006
IEEE
144views Robotics» more  IROS 2006»
16 years 9 days ago
Estimating Probability Distribution with Q-learning for Biped Gait Generation and Optimization
— A new biped gait generation and optimization method is proposed in the frame of Estimation of Distribution Algorithms (EDAs) with Q-learning method. By formulating the biped ga...
Lingyun Hu, Changjiu Zhou, Zengqi Sun
SI3D
2006
ACM
16 years 6 days ago
Hardware accelerated multi-resolution geometry synthesis
In this paper, we propose a new technique for hardware accelerated multi-resolution geometry synthesis. The level of detail for a given viewpoint is created on-the-fly, allowing f...
Martin Bokeloh, Michael Wand
178
Voted
ICPR
2010
IEEE
15 years 12 months ago
Multiresolution Analysis of 3D Images Based on Discrete Distortion
We consider a model of a 3D image obtained by discretizing it into a multiresolution tetrahedral mesh known as a hierarchy of diamonds. This model enables us to extract crack-free...
Kenneth Weiss, Mohammed Mostefa Mesmoudi, L. De Fl...