1101 search results - page 164 / 221 » Forcing in proof theory |
124
click to vote
ROBOCUP
2007
Springer
15 years 6 months ago
2007
Springer
Aiming to reduce cycle time and improving the accuracy on tracking, a modified adaptive control was developed, which adapts autonomously to changing dynamic parameters. The platfor...
94
Voted
SMI
2005
IEEE
15 years 6 months ago
2005
IEEE
Curvature-based energy and forces are used in a broad variety of contexts, ranging from modeling of thin plates and shells to surface fairing and variational surface design. The a...
122
Voted
HAPTICS
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper describes a new technique for allowing multiple users to haptically interact with a set of deformable slowly-simulated objects in a stable manner. Stability has been ap...
INFOCOM
2003
IEEE
15 years 5 months ago
2003
IEEE
—This paper is aimed at designing a congestion control system that scales gracefully with network capacity, providing high utilization, low queueing delay, dynamic stability, and...
119
Voted
DNA
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Self-assembly is a process in which basic units aggregate under attractive forces to form larger compound structures. Recent theoretical work has shown that pseudo-crysta...