1345 search results - page 141 / 269 » A Class of Logarithmic Integrals |
123
click to vote
CVPR
2005
IEEE
16 years 6 months ago
2005
IEEE
In this paper, we described an efficient feature pursuit scheme for boosting. The proposed method is based on the infomax principle, which seeks optimal feature that achieves maxi...
229
Voted
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
The AquaLogic Data Services Platform (ALDSP) is a BEA middleware platform for creating services that access and manipulate information drawn from multiple heterogeneous sources of ...
128
click to vote
DAC
2001
ACM
16 years 5 months ago
2001
ACM
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuit...
136
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
144
click to vote
MICCAI
2007
Springer
16 years 5 months ago
2007
Springer
In algorithms for processing diffusion tensor images, two common ingredients are interpolating tensors, and measuring the distance between them. We propose a new class of interpola...