Sciweavers

9871 search results - page 408 / 1975
» On the Structure of Low Sets
Sort
View
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
15 years 11 months ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann
EMMCVPR
1999
Springer
15 years 11 months ago
Maximum Likelihood Inference of 3D Structure from Image Sequences
The paper presents a new approach to recovering the 3D rigid shape of rigid objects from a 2D image sequence. The method has two distinguishing features: it exploits the rigidity o...
Pedro M. Q. Aguiar, José M. F. Moura
SSPR
1998
Springer
15 years 11 months ago
Object Recognition from Large Structural Libraries
This paper presents a probabilistic similarity measure for object recognition from large libraries of line-patterns. We commence from a structural pattern representation which use...
Benoit Huet, Edwin R. Hancock
ECTEL
2006
Springer
15 years 10 months ago
Bayesian Student Models Based on Item to Item Knowledge Structures
Bayesian networks are commonly used in cognitive student modeling and assessment. They typically represent the item-concepts relationships, where items are observable responses to ...
Michel Desmarais, Michel Gagnon
193
Voted
ECAI
2000
Springer
15 years 10 months ago
Learning Efficiently with Neural Networks: A Theoretical Comparison between Structured and Flat Representations
Abstract. We are interested in the relationship between learning efficiency and representation in the case of supervised neural networks for pattern classification trained by conti...
Marco Gori, Paolo Frasconi, Alessandro Sperduti