4049 search results - page 72 / 810 » Automatic image decomposition |
ISSAC
2005
Springer
15 years 9 months ago
2005
Springer
We define a class of special function inequalities that contains many classical examples, such as the Cauchy-Schwarz inequality, and introduce a proving procedure based on induct...
126
Voted
MICCAI
2005
Springer
16 years 4 months ago
2005
Springer
We present a framework for rigid registration of a set of B-mode ultrasound images to a CT scan in the context of Radiotherapy planning. Our main focus is on deriving an appropriat...
111
Voted
ECIR
2009
Springer
16 years 29 days ago
2009
Springer
Previous research on automatic image annotation has shown that accurate estimates of the class conditional densities in generative models have a positive effect in annotation perf...
111
Voted
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
Event-related potentials (ERP) are brain electrophysiological patterns created by averaging electroencephalographic (EEG) data, time-locking to events of interest (e.g., stimulus ...
142
Voted
FMSD
2008
15 years 3 months ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...