8828 search results - page 1592 / 1766 » Formal methods in practice |
158
click to vote
PR
2007
15 years 3 months ago
2007
In this paper, we present a learning-based image processing technique. We have developed a novel method to map high dynamic range scenes to low dynamic range images for display in...
135
click to vote
TMI
2010
15 years 2 months ago
2010
Abstract— We compared four automated methods for hippocampal segmentation using different machine learning algorithms (1) hierarchical AdaBoost, (2) Support Vector Machines (SVM)...
160
Voted
ICDM
2010
IEEE
15 years 2 months ago
2010
IEEE
Temporal causal modeling has been a highly active research area in the last few decades. Temporal or time series data arises in a wide array of application domains ranging from med...
164
click to vote
JASIS
2011
14 years 11 months ago
2011
We describe two general approaches to creating document-level maps of science. To create a local map one defines and directly maps a sample of data, such as all literature publish...
165
click to vote
PAMI
2011
14 years 11 months ago
2011
—A majority of the existing stereo matching algorithms assume that the corresponding color values are similar to each other. However, it is not so in practice as image color valu...