Sciweavers

4205 search results - page 747 / 841
» Typed Mobile Objects
Sort
View
EWC
2010
112views more  EWC 2010»
13 years 6 months ago
Meshing volumes with curved boundaries
Abstract This paper introduces a three-dimensional mesh generation algorithm for domains whose boundaries are curved surfaces, possibly with sharp features. The algorithm combines ...
Steve Oudot, Laurent Rineau, Mariette Yvinec
ICRA
2010
IEEE
128views Robotics» more  ICRA 2010»
13 years 6 months ago
On optimal AUV track-spacing for underwater mine detection
— This work addresses the task of designing the optimal survey route that an autonomous underwater vehicle (AUV) should take in mine countermeasures (MCM) operations. It is assum...
David P. Williams
ICST
2010
IEEE
13 years 6 months ago
Longer is Better: On the Role of Test Sequence Length in Software Testing
In the presence of an internal state, often it is required a sequence of function calls to test software. In fact, to cover a particular branch of the code, a sequence of previous...
Andrea Arcuri
IJCV
2010
249views more  IJCV 2010»
13 years 6 months ago
A Computational Model of Multidimensional Shape
We develop a computational model of shape that extends existing Riemannian models of shape of curves to multidimensional objects of general topological type. We construct shape sp...
Xiuwen Liu, Yonggang Shi, Ivo D. Dinov, Washington...
IJRR
2010
112views more  IJRR 2010»
13 years 6 months ago
On the Passive Force Closure Set of Planar Grasps and Fixtures
This paper considers grasps and fixtures whose contacts react according to force-displacement laws consistent with friction constrains at the contacts. The passive force closure s...
Amir Shapiro, Elon Rimon, Shraga Shoval