Sciweavers

3229 search results - page 154 / 646
» Theories with the Independence Property
Sort
View
80
Voted
ACS
2007
15 years 29 days ago
Algebra and Geometry of Rewriting
We present various results of the last twenty years converging towards a homotopical theory of computation. This new theory is based on two crucial notions : polygraphs (introduce...
Yves Lafont
ICIP
1998
IEEE
16 years 2 months ago
B-spline Snakes and a JAVA Interface: An Intuitive Tool for General Contour Outlining
We present a novel formulation for B-spline snakes that can be used as a tool for fast and intuitive contour outlining. The theory is implemented in a platform independent JAVA in...
Patrick Brigger, Robert Engel, Michael Unser
SODA
2010
ACM
208views Algorithms» more  SODA 2010»
15 years 10 months ago
Correlation Robust Stochastic Optimization
We consider a robust model proposed by Scarf, 1958, for stochastic optimization when only the marginal probabilities of (binary) random variables are given, and the correlation be...
Shipra Agrawal, Yichuan Ding, Amin Saberi, Yinyu Y...
102
Voted
REX
1993
15 years 4 months ago
Relationships Between Models of Concurrency
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
Mogens Nielsen, Vladimiro Sassone, Glynn Winskel
CORR
2010
Springer
69views Education» more  CORR 2010»
15 years 27 days ago
Epistemic irrelevance in credal nets: the case of imprecise Markov trees
We focus on credal nets, which are graphical models that generalise Bayesian nets to imprecise probability. We replace the notion of strong independence commonly used in credal ne...
Gert de Cooman, Filip Hermans, Alessandro Antonucc...