943 search results - page 121 / 189 » Virtual First-Order Structure |
ACMMSP
2006
ACM
14 years 4 months ago
2006
ACM
We present an implementation and evaluation of atomicity (also known as software transactions) for a dialect of Java. Our implementation is fundamentally different from prior work...
HAPTICS
2005
IEEE
14 years 3 months ago
2005
IEEE
The manual step in semi-automatic segmentation of medical volume images typically involves initialization procedures such as placement of seed-points or positioning of surface mod...
HPCA
2005
IEEE
14 years 3 months ago
2005
IEEE
The last decade has seen several changes in the structure and emphasis of enterprise IT systems. Specific infrastructure trends have included the emergence of large consolidated d...
ICDCSW
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper presents a distributed architecture for the management and retrieval of particular objects called POIsmarts. POIsmarts can be considered as the convergence between virt...
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
— The problem of simultaneous localization and mapping has received much attention over the last years. Especially large scale environments, where the robot trajectory loops back...