Sciweavers

7393 search results - page 1006 / 1479
» Synthesis-for-testability using transformations
Sort
View
ICCV
2007
IEEE
16 years 7 months ago
An Invariant Large Margin Nearest Neighbour Classifier
The k-nearest neighbour (kNN) rule is a simple and effective method for multi-way classification that is much used in Computer Vision. However, its performance depends heavily on ...
M. Pawan Kumar, Philip H. S. Torr, Andrew Zisserma...
267
Voted
ICDE
2009
IEEE
159views Database» more  ICDE 2009»
16 years 6 months ago
Sketch-Based Summarization of Ordered XML Streams
XML streams, such as RSS feeds or complex event streams, are becoming increasingly pervasive as they provide the foundation for a wide range of emerging applications. An important...
Veronica Mayorga, Neoklis Polyzotis
ICIP
2004
IEEE
16 years 6 months ago
Robust perceptual image hashing via matrix invariants
In this paper we suggest viewing images (as well as attacks on them) as a sequence of linear operators and propose novel hashing algorithms employing transforms that are based on ...
Mehmet Kivanç Mihçak, Ramarathnam Ve...
MICCAI
2008
Springer
16 years 6 months ago
Tag Separation in Cardiac Tagged MRI
In this paper we introduce a tag separation method for better cardiac boundary segmentation and tag tracking. Our approach is based on two observations in the cardiac tagged MR ima...
Junzhou Huang, Zhen Qian, Xiaolei Huang, Dimitr...
SIGSOFT
2003
ACM
16 years 5 months ago
Towards scalable compositional analysis by refactoring design models
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia...
« Prev « First page 1006 / 1479 Last » Next »