Sciweavers

1195 search results - page 131 / 239
» Modeling an Algebraic Stepper
Sort
View
CVPR
2008
IEEE
16 years 8 months ago
The Logistic Random Field - A convenient graphical model for learning parameters for MRF-based labeling
Graphical models are fundamental tools for modeling images and other applications. In this paper, we propose the Logistic Random Field (LRF) model for representing a discrete-valu...
Marshall F. Tappen, Kegan G. G. Samuel, Craig V. D...
CVPR
2004
IEEE
16 years 8 months ago
Minimum Effective Dimension for Mixtures of Subspaces: A Robust GPCA Algorithm and Its Applications
In this paper, we propose a robust model selection criterion for mixtures of subspaces called minimum effective dimension (MED). Previous information-theoretic model selection cri...
Kun Huang, René Vidal, Yi Ma
EMSOFT
2004
Springer
15 years 11 months ago
Conservative approximations for heterogeneous design
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
Roberto Passerone, Jerry R. Burch, Alberto L. Sang...
NMR
2004
Springer
15 years 11 months ago
Semantics of disjunctive programs with monotone aggregates - an operator-based approach
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
Nikolay Pelov, Miroslaw Truszczynski
FOSSACS
2005
Springer
15 years 12 months ago
Mathematical Models of Computational and Combinatorial Structures
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
Marcelo P. Fiore