18155 search results - page 293 / 3631 » Point |
152
click to vote
MATA
2001
Springer
15 years 11 months ago
2001
Springer
To overcome the shortcomings of existing IP networks and to facilitate the overall quality-of-service (QoS) provisioning in the near-future networks, new technologies such as Multi...
173
click to vote
TACS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present two modal typing systems with the approximation modality, which has been proposed by the author to capture selfreferences involved in computer programs and the...
168
click to vote
BIBE
2000
IEEE
15 years 11 months ago
2000
IEEE
In the biological sciences, the mathematical approach to studying feedbackmechanisms has not been common despite the abundance of such mechanismsin those systems. In this paper, w...
152
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, a nonhonolonomic vehicle is stabilized to a desired pose through a wisual servoing technique. The vision-based regulation of the nonholonomic vehicle, we propose, i...
180
click to vote
LICS
2000
IEEE
15 years 11 months ago
2000
IEEE
We give an axiomatic treatment of fixed-point operators in categories. A notion of iteration operator is defined, embodying the equational properties of iteration theories. We p...