5918 search results - page 426 / 1184 » A view of cloud computing |
188
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
We take a dual view of Markov processes ? advocated by Kozen ? as transformers of bounded measurable functions. We redevelop the theory of labelled Markov processes from this view ...
187
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
Graph cuts have proven useful for image segmentation and for volumetric reconstruction in multiple view stereo. However, solutions are biased: the cost function tends to favour ei...
201
click to vote
APSCC
2009
IEEE
16 years 1 months ago
2009
IEEE
— We describe a model-driven translation approach between Semantic Web Service based business process models in the context of the SUPER project. In SUPER we provide a set of bus...
201
click to vote
COLCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
It is well understood that Mobile Ad Hoc Networks (MANETs) are extremely susceptible to a variety of attacks, and traditional security mechanisms do not work well. Many security sc...
164
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
A problem of detecting changes in a region viewed by multiple overlapping cameras is addressed. We are exploring a background change detection method of multilayered orthoimages u...