Sciweavers

1671 search results - page 104 / 335
» Semantics Through Pictures
Sort
View
TSMC
2010
13 years 3 months ago
Credal Semantics of Bayesian Transformations in Terms of Probability Intervals
In this paper we propose a credal representation of the interval probability associated with a belief function (b.f.), and show how it relates to several classical Bayesian transfo...
Fabio Cuzzolin
CVPR
2012
IEEE
11 years 11 months ago
Semantic segmentation using regions and parts
We address the problem of segmenting and recognizing objects in real world images, focusing on challenging articulated categories such as humans and other animals. For this purpos...
Pablo Arbelaez, Bharath Hariharan, Chunhui Gu, Sau...
FORMATS
2003
Springer
14 years 2 months ago
Causal Time Calculus
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...
Franck Pommereau
CVPR
2010
IEEE
14 years 5 months ago
Building and Using a Semantivisual Image Hierarchy
A semantically meaningful image hierarchy can ease the human effort in organizing thousands and millions of pictures (e.g., personal albums), and help to improve performance of en...
Li-Jia Li, Chong Wang, Yongwhan Lim, David Blei, L...
FM
2009
Springer
190views Formal Methods» more  FM 2009»
14 years 3 months ago
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu