117 search results - page 3 / 24 » hybrid 1999 |
IPPS
1999
IEEE
14 years 3 months ago
1999
IEEE
CONCUR
1999
Springer
14 years 3 months ago
1999
Springer
TABLEAUX
1999
Springer
14 years 3 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
15 years 12 days ago
1999
IEEE
HYBRID
1999
Springer
14 years 3 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...