2940 search results - page 174 / 588 » Relational Parametricity and Control |
179
click to vote
ESORICS
2009
Springer
16 years 29 days ago
2009
Springer
Recent enhancements in location technologies reliability and precision are fostering the development of a new wave of applications that make use of the location information of user...
156
click to vote
NETCOOP
2009
Springer
16 years 21 days ago
2009
Springer
There are moves in the Internet architecture community to add multipath capabilities to TCP, so that end-systems will be able to shift their traffic away from congested parts of th...
167
click to vote
CDC
2008
IEEE
16 years 19 days ago
2008
IEEE
Abstract— In this paper, we consider the problem of stabilizing sufficiently smooth nonlinear time-invariant plants over a network whereby feedback is closed through a limitedba...
158
click to vote
IROS
2008
IEEE
16 years 17 days ago
2008
IEEE
Abstract— Kinodynamic planning algorithms have the potential to find feasible control trajectories which accomplish a task even in very nonlinear or constrained dynamical system...
177
click to vote
CIRA
2007
IEEE
16 years 15 days ago
2007
IEEE
— This research identifies a strategy called compliant formation control, which may be used to coordinate the navigational structure of a team of autonomous vehicles. This techni...