117 search results - page 3 / 24 » hybrid 1999 |
IPPS
1999
IEEE
13 years 10 months ago
1999
IEEE
CONCUR
1999
Springer
13 years 10 months ago
1999
Springer
TABLEAUX
1999
Springer
13 years 10 months ago
1999
Springer
Hybrid logics were proposed in 15 as a way of boosting the expressivity of modal logics via a novel mechanism: adding labels for states in Kripke models and viewing these labels as...
ICIP
1999
IEEE
14 years 7 months ago
1999
IEEE
HYBRID
1999
Springer
13 years 10 months ago
1999
Springer
Abstract. In this paper we investigate orthogonal polyhedra, i.e. polyhedra which are finite unions of full-dimensional hyper-rectangles. We define representation schemes for the...