8658 search results - page 361 / 1732 » Models of Command and Control |
162
click to vote
ICMCS
2006
IEEE
16 years 24 days ago
2006
IEEE
— A new rate control algorithm for the H.264 encoder is developed in this work. There are several unique features in the proposed rate control scheme. First, a two-stage encoding...
173
click to vote
SPATIALCOGNITION
2004
Springer
16 years 3 days ago
2004
Springer
Establishing a clean relationship between a robot’s spatial model and natural language components is a non-trivial task, but is key to designing verbally controlled, navigating s...
186
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
192
click to vote
HYBRID
2004
Springer
16 years 4 days ago
2004
Springer
In this paper, we introduce a parametric semantics for timed controllers called the Almost ASAP semantics. This semantics is a relaxation of the usual ASAP3 semantics (also called ...
200
click to vote
RTSS
1995
IEEE
15 years 10 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...