1341 search results - page 146 / 269 » Probabilistic Abstraction Hierarchies |
156
click to vote
FOSSACS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four ...
141
click to vote
FCT
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. An iterative array is a line of interconnected interacting finite automata. One distinguished automaton, the communication cell, is connected to the outside world and fe...
176
click to vote
FTP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We describe two methods on the basis of which efficient resolution decision procedures can be developed for a range of description logics. The first method uses an orderi...
155
click to vote
RT
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. There has been great success in speeding up global illumination computation in diffuse environments. The concept of clustering allows radiosity computations even for scen...
180
click to vote
ECML
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In order to organize huge document collections, labeled hierarchical structures are used frequently. Users are most efficient in navigating such hierarchies, if they refl...