Sciweavers

Share
219 search results - page 44 / 44
» Unsupervised Learning for Graph Matching
Sort
View
CADE
2015
Springer
3 years 6 months ago
MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers
Abstract. We present a method and an associated system, called MathCheck, that embeds the functionality of a computer algebra system (CAS) within the inner loop of a con´Čéict-driv...
Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki
IWANN
2005
Springer
9 years 3 months ago
Characterizing Self-developing Biological Neural Networks: A First Step Towards Their Application to Computing Systems
Carbon nanotubes are often seen as the only alternative technology to silicon transistors. While they are the most likely short-term alternative, other longer-term alternatives sho...
Hugues Berry, Olivier Temam
ICCV
2009
IEEE
8 years 8 months ago
Estimating human shape and pose from a single image
We describe a solution to the challenging problem of estimating human body shape from a single photograph or painting. Our approach computes shape and pose parameters of a 3D huma...
Peng Guan, Alexander Weiss, Alexandru O. Balan, Mi...

Book
34534views
10 years 9 months ago
OpenCV - Open Source Computer Vision Reference Manual
OpenCV is a C/C++ computer vision library originally developed by Intel. It is free for commercial and research use under a BSD license. The library is cross-platform. It is highl...
Intel
books