8486 search results - page 308 / 1698 » Ordered Enumeration Method |
113
click to vote
EVOW
2004
Springer
15 years 10 months ago
2004
Springer
Recently, an approach has been presented to minimize Disjoint Sumof-Products (DSOPs) based on Binary Decision Diagrams (BDDs). Due to the symbolic representation of cubes for larg...
167
Voted
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
We describe a novel max-margin parameter learning approach for structured prediction problems under certain non-decomposable performance measures. Structured prediction is a commo...
161
Voted
CAIP
2009
Springer
15 years 8 months ago
2009
Springer
Bottom-up segmentation methods merge similar neighboring regions according to a decision rule and a merging order. In this paper, we propose a contribution for each of these two po...
113
Voted
COMPSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
Temporal correctness is crucial to the dependability of real-time systems. Few methods exist to test for temporal correctness and most existing methods are ad-hoc. A problem with ...
132
click to vote
APVIS
2007
15 years 6 months ago
2007
In this paper, we present a case study for the visualisation and analysis of large and complex temporal multivariate networks derived from the Internet Movie DataBase (IMDB). Our ...