1789 search results - page 190 / 358 » Extending the Choquet integral |
209
click to vote
ISPD
2012
ACM
14 years 2 months ago
2012
ACM
In this paper, we propose a new approach for gated bus synthesis [16] with minimum wire capacitance per transaction in three-dimensional (3D) ICs. The 3D IC technology connects di...
236
click to vote
LPAR
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
196
click to vote
PODS
2012
ACM
13 years 9 months ago
2012
ACM
Over the past several decades, the study of conjunctive queries has occupied a central place in the theory and practice of database systems. In recent years, conjunctive queries h...
188
click to vote
KDD
2012
ACM
13 years 9 months ago
2012
ACM
With the wide deployment of smart card automated fare collection (SCAFC) systems, public transit agencies have been benefiting from huge volume of transit data, a kind of sequent...
214
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
Abstract. We propose a variational framework for the integration multiple competing shape priors into level set based segmentation schemes. By optimizing an appropriate cost functi...