304 search results - page 45 / 61 » Mathematical Models of Computational and Combinatorial Struc... |
241
click to vote
ENTCS
2006
15 years 3 months ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
246
click to vote
JUCS
2002
15 years 3 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
150
click to vote
DAGM
2008
Springer
15 years 5 months ago
2008
Springer
The design of inference algorithms for discrete-valued Markov Random Fields constitutes an ongoing research topic in computer vision. Large state-spaces, none-submodular energy-fun...
169
click to vote
ICCV
2011
IEEE
14 years 3 months ago
2011
IEEE
Background modelling on tensor field has recently been proposed for foreground detection tasks. Taking into account the Riemannian structure of the tensor manifold, recent resear...
119
click to vote
TCS
2002
15 years 3 months ago
2002
The new Associative Language Description (ALD) model, a combination of locally testable and constituent structure ideas, is proposed, arguing that in practice it equals context-fr...