1999 search results - page 222 / 400 » Dependently Typed Grammars |
184
click to vote
HYBRID
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
205
click to vote
MDM
2001
Springer
15 years 11 months ago
2001
Springer
In an ad-hoc mobile network architecture, all the mobile hosts (MHs) are connected with each other through a wireless network that has a frequently changing topology. This type of ...
174
click to vote
POLICY
2001
Springer
15 years 11 months ago
2001
Springer
To control complicated and decomposable networking functions, such as Diffserv, two or more policies must cooperate. Combining two or more mutually dependent policies for a specifi...
161
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
This article deals with a new segmentation approach applied to unconstrained handwritten digits. The novelty of the proposed algorithm is based on the combination of two types of ...
161
click to vote
NOMS
2000
IEEE
15 years 11 months ago
2000
IEEE
Recently mobile agent technology has been recognised as a potential tool for realising distributed network fault management. The autonomy and mobility of such agents can help ensu...