Sciweavers

3616 search results - page 588 / 724
» Support Tucker Machines
Sort
View
CLEF
2010
Springer
15 years 7 months ago
ImageCLEF 2010 Working Notes on the Modality Classification Subtask
The goal of this work is to investigate the performance of classical methods for feature description and classification, and to identify the difficulties of the ImageCLEF 2010 moda...
Olivier Pauly, Diana Mateus, Nassir Navab
COMPSAC
2009
IEEE
15 years 7 months ago
Modular Certification of Low-Level Intermediate Representation Programs
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
Yuan Dong, Shengyuan Wang, Liwei Zhang, Ping Yang
ICMCS
2010
IEEE
198views Multimedia» more  ICMCS 2010»
15 years 7 months ago
Naming persons in news video with label propagation
Labeling persons appearing in video frames with names detected from the video transcript helps improving the video content identification and search task. We develop a face naming...
Phi The Pham, Marie-Francine Moens, Tinne Tuytelaa...
JTRES
2010
ACM
15 years 6 months ago
Exhaustive testing of safety critical Java
With traditional testing, the test case has no control over non-deterministic scheduling decisions, and thus errors dependent on scheduling are only found by pure chance. Java Pat...
Tomás Kalibera, Pavel Parizek, Michal Maloh...
CVPR
2010
IEEE
15 years 6 months ago
Robust RVM regression using sparse outlier model
Kernel regression techniques such as Relevance Vector Machine (RVM) regression, Support Vector Regression and Gaussian processes are widely used for solving many computer vision p...
Kaushik Mitra, Ashok Veeraraghavan, Rama Chellappa