Sciweavers

1508 search results - page 237 / 302
» A Toolbox of Level Set Methods
Sort
View
ISBI
2006
IEEE
15 years 10 months ago
Landmark matching on the sphere using distance functions
Nonlinear registration of 3D surfaces is important in many medical imaging applications, including the mapping of longitudinal changes in anatomy, or of multi-subject functional M...
Natasha Lepore, Alex D. Leow, Paul M. Thompson
WWW
2009
ACM
15 years 10 months ago
Deriving music theme annotations from user tags
Music theme annotations would be really beneficial for supporting retrieval, but are often neglected by users while annotating. Thus, in order to support users in tagging and to f...
Kerstin Bischoff, Claudiu S. Firan, Raluca Paiu
VLSID
2002
IEEE
177views VLSI» more  VLSID 2002»
15 years 10 months ago
RTL-Datapath Verification using Integer Linear Programming
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
Raik Brinkmann, Rolf Drechsler
ICSE
2008
IEEE-ACM
15 years 10 months ago
A value-based approach for documenting design decisions rationale: a replicated experiment
The explicit documentation of the rationale of design decisions is a practice generally encouraged but rarely implemented in industry because of a variety of inhibitors. Known met...
Davide Falessi, Rafael Capilla, Giovanni Cantone
CVPR
2010
IEEE
15 years 6 months ago
Online-Batch Strongly Convex Multi Kernel Learning
Several object categorization algorithms use kernel methods over multiple cues, as they offer a principled approach to combine multiple cues, and to obtain state-of-theart perform...
Francesco Orabona, Jie Luo, Barbara Caputo