Sciweavers

1671 search results - page 104 / 335
» Semantics Through Pictures
Sort
View
TSMC
2010
14 years 10 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
252
Voted
CVPR
2012
IEEE
13 years 5 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...
112
Voted
FORMATS
2003
Springer
15 years 8 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
108
Voted
CVPR
2010
IEEE
15 years 11 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...
147
Voted
FM
2009
Springer
190views Formal Methods» more  FM 2009»
15 years 10 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