6045 search results - page 234 / 1209 » Computable Linearizations of Well-partial-orderings |
Lecture Notes
Instrumental Variable Method, Non-Spherical Errors, Vector Autoregression (VAR), Monetary Policy in VAR Systems, Microfoundations of Monetary Policy Models, Summary of Solution Met...
Book
Book web site includes links to a full course, software, and other material.
ICCV
2007
IEEE
14 years 10 months ago
2007
IEEE
Boosting is a remarkably simple and flexible classification algorithm with widespread applications in computer vision. However, the application of boosting to nonEuclidean, infini...
ICCV
2001
IEEE
14 years 10 months ago
2001
IEEE
A linear method for computing a projective reconstruction from a large number of images is presented and then evaluated. The method uses planar homographies between views to linea...
LICS
2008
IEEE
14 years 2 months ago
2008
IEEE
We revisit the correctness criterion for the multiplicative additive fragment of linear logic. We prove that deciding the correctness of corresponding proof structures is NLcomple...