Sciweavers

14897 search results - page 2447 / 2980
» Environment for statistical computing
Sort
View
GPC
2007
Springer
15 years 10 months ago
Assessing Contention Effects on MPI_Alltoall Communications
Abstract. One of the most important collective communication patterns used in scientific applications is the complete exchange, also called All-to-All. Although efficient algorithm...
Luiz Angelo Steffenel, Maxime Martinasso, Denis Tr...
FASE
2009
Springer
15 years 10 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
HRI
2007
ACM
15 years 10 months ago
Elements of a spoken language programming interface for robots
In many settings, such as home care or mobile environments, demands on users' attention, or users' anticipated level of formal training, or other on-site conditions will...
Tim Miller, Andrew Exley, William Schuler
HRI
2007
ACM
15 years 10 months ago
Managing autonomy in robot teams: observations from four experiments
It is often desirable for a human to manage multiple robots. Autonomy is required to keep workload within tolerable ranges, and dynamically adapting the type of autonomy may be us...
Michael A. Goodrich, Timothy W. McLain, Jeffrey D....
HRI
2007
ACM
15 years 10 months ago
Robots as interfaces to haptic and locomotor spaces
Research on spatial cognition and navigation of the visually impaired suggests that vision may be a primary sensory modality that enables humans to align the egocentric (self to o...
Vladimir A. Kulyukin, Chaitanya Gharpure, Cassidy ...
« Prev « First page 2447 / 2980 Last » Next »