1341 search results - page 48 / 269 » Probabilistic Abstraction Hierarchies |
152
click to vote
CSL
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. It has been proved by Niwi´nski and Walukiewicz that a deterministic tree language is either Π1 1 -complete or it is on the level Π0 3 of the Borel hierarchy, and that...
162
click to vote
PPAM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We address parallel jobs scheduling problem for computational GRID systems. We concentrate on two-level hierarchy scheduling: at the first level broker allocates computa...
148
click to vote
CIARP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Distinguished regions can be detected with high repeatability in different images of the same scene. Two definitions of distinguished regions of an image in a mathemati...
130
click to vote
SAGA
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. Devices connected wirelessly, in various forms including computers, hand-held devices, ad hoc networks, and embedded systems, are expected to become ubiquitous all around...
150
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s simple probabilistic automata. We consider...