Sciweavers

3172 search results - page 218 / 635
» On the Random-Self-Reducibility of Complete Sets
Sort
View
ALT
2000
Springer
16 years 3 months ago
Learning Recursive Concepts with Anomalies
This paper provides a systematic study of inductive inference of indexable concept classes in learning scenarios in which the learner is successful if its final hypothesis describ...
Gunter Grieser, Steffen Lange, Thomas Zeugmann
ICCAD
2008
IEEE
98views Hardware» more  ICCAD 2008»
16 years 3 months ago
Scalable and scalably-verifiable sequential synthesis
This paper describes an efficient implementation of an effective sequential synthesis operation that uses induction to detect and merge sequentially-equivalent nodes. State-encodi...
Alan Mishchenko, Michael L. Case, Robert K. Brayto...
ICCAD
2007
IEEE
101views Hardware» more  ICCAD 2007»
16 years 3 months ago
Analog placement with common centroid constraints
— In order to reduce parasitic mismatch in analog circuits, some groups of devices are required to share a common centroid while being placed. Devices are split into smaller ones...
Qiang Ma, Evangeline F. Y. Young, K. P. Pun
CVPR
2010
IEEE
16 years 2 months ago
Simultaneous Pose, Correspondence and Non-Rigid Shape
Recent works have shown that 3D shape of non-rigid surfaces can be accurately retrieved from a single image given a set of 3D-to-2D correspondences between that image and another ...
Jordi Sanchez, Jonas Ostlund, Pascal Fua, Francesc...
STACS
2010
Springer
16 years 1 months ago
The Complexity of Approximating Bounded-Degree Boolean #CSP
The degree of a CSP instance is the maximum number of times that a variable may appear in the scope of constraints. We consider the approximate counting problem for Boolean CSPs wi...
Martin E. Dyer, Leslie Ann Goldberg, Markus Jalsen...