1759 search results - page 70 / 352 » A guide to membrane computing |
166
click to vote
ISVC
2005
Springer
15 years 11 months ago
2005
Springer
In virtual environments, head pose and/or eye-gaze estimation can be employed to improve the visual experience of the user by enabling adaptive level of detail during rendering. In...
149
click to vote
PVM
2005
Springer
15 years 11 months ago
2005
Springer
We present design and implementation details as well as performance results for two new parallel checkpointing libraries developed by us for parallel MPI applications. The first o...
143
click to vote
AMAI
2004
Springer
15 years 11 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
175
click to vote
ICRA
1994
IEEE
15 years 9 months ago
1994
IEEE
An approach is presented for exploring an unknown, arbitrary surface in three-dimensional (3D) space by a mobile robot. The main contributions are (1) an analysis of the capabilit...
141
click to vote
AIIA
2007
Springer
15 years 7 months ago
2007
Springer
Few works are available in the literature to define similarity criteria between First-Order Logic formulæ, where the presence of relations causes various portions of one descript...