Sciweavers

5510 search results - page 786 / 1102
» Mathematics
Sort
View
ICRA
2000
IEEE
83views Robotics» more  ICRA 2000»
15 years 11 months ago
Force Controllable Hydro-Elastic Actuator
— We present a hydro-elastic actuator that has a linear spring intentionally placed in series between the hydraulic piston and actuator output. The spring strain is measured to g...
David W. Robinson, Gill A. Pratt
ISSRE
2000
IEEE
15 years 11 months ago
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
José Luis Fernández Alemán, J...
CHI
2000
ACM
15 years 11 months ago
curlybot: designing a new class of computational toys
We introduce an educational toy, called curlybot, as the basis for a new class of toys aimed at children in their early stages of development – ages four and up. curlybot is an ...
Phil Frei, Victor Su, Bakhtiar Mikhak, Hiroshi Ish...
SIGMETRICS
2000
ACM
15 years 11 months ago
TCP in presence of bursty losses
In this paper we analyze the performance of a TCP-like flow control in a lossy environment. The transmission rate in the control scheme that we consider has a linear growth rate;...
Eitan Altman, Konstantin Avrachenkov, Chadi Baraka...
SPAA
2000
ACM
15 years 11 months ago
Algorithmic foundations for a parallel vector access memory system
This paper presents mathematical foundations for the design of a memory controller subcomponent that helps to bridge the processor/memory performance gap for applications with str...
Binu K. Mathew, Sally A. McKee, John B. Carter, Al...