1547 search results - page 278 / 310 » The Isabelle Collections Framework |
137
click to vote
ICCV
2003
IEEE
16 years 6 months ago
2003
IEEE
We propose a principled account on multiclass spectral clustering. Given a discrete clustering formulation, we first solve a relaxed continuous optimization problem by eigendecomp...
129
click to vote
ICIP
2007
IEEE
16 years 5 months ago
2007
IEEE
The problem of tracking involves challenges like in-plane and out-of-plane rotations, scaling, variations in ambient light and occlusions. In this paper we look at the problem of ...
139
click to vote
ICIP
2006
IEEE
16 years 5 months ago
2006
IEEE
Copyright 2005 IEEE. Published in the 2006 International Conference on Image Processing (ICIP-2006), October 8-11, 2006, Atlanta, Georgia. Personal use of this material is permitt...
164
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
126
click to vote
WWW
2009
ACM
16 years 4 months ago
2009
ACM
We demonstrate a flight meta-search engine that is based on the Metamorph framework. Metamorph provides mechanisms to model web forms together with the interactions which are need...