4502 search results - page 699 / 901 » Regular Model Checking |
170
click to vote
PVM
2007
Springer
16 years 11 days ago
2007
Springer
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...
158
click to vote
HICSS
2006
IEEE
16 years 9 days ago
2006
IEEE
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 ...
152
click to vote
IROS
2006
IEEE
16 years 9 days ago
2006
IEEE
— 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...
169
click to vote
SI3D
2006
ACM
16 years 6 days ago
2006
ACM
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...
178
Voted
ICPR
2010
IEEE
15 years 12 months ago
2010
IEEE
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...