5722 search results - page 160 / 1145 » Dynamic inference control |
120
click to vote
CISS
2008
IEEE
15 years 10 months ago
2008
IEEE
—This paper studies a network under TCP congestion control, in which the number of flows per user is explicitly taken into account. We present a control law for this variable th...
111
Voted
HYBRID
2009
Springer
15 years 7 months ago
2009
Springer
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic schedu...
275
click to vote
POPL
2002
ACM
16 years 3 months ago
2002
ACM
In this paper we propose a scheme that combines type inference and run-time checking to make existing C programs type safe. We describe the CCured type system, which extends that ...
100
Voted
AI
2004
Springer
15 years 8 months ago
2004
Springer
Knowledge Provenance (KP) is proposed to address the problem of how to determine the validity and origin of web information by introducing standards and methods for modeling and ma...
126
Voted
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— Although there has been an increasing interest in dynamic bipedal locomotion for significant improvement of energy efficiency and dexterity of mobile robots in the real world...