288 search results - page 33 / 58 » An algebraic generalization of Kripke structures |
93
Voted
CVPR
2004
IEEE
16 years 6 days ago
2004
IEEE
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...
73
Voted
CORR
2007
Springer
14 years 10 months ago
2007
Springer
— We address the problem of the algebraic decoding of any cyclic code up to the true minimum distance. For this, we use the classical formulation of the problem, which is to fin...
95
Voted
SIBGRAPI
1999
IEEE
15 years 2 months ago
1999
IEEE
Abstract. Mathematical morphology has become a widely used technique for image processing and computer vision. Initially designed as a set theory, it was generalized to the set of ...
122
Voted
DAC
1994
ACM
15 years 1 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
91
Voted
LICS
2009
IEEE
15 years 4 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...