5210 search results - page 259 / 1042 » Exact geometric computation |
157
click to vote
IWPEC
2004
Springer
16 years 3 hour ago
2004
Springer
We consider parameterized problems where some separation property has to be achieved by deleting as few vertices as possible. The following five problems are studied: delete k ve...
143
click to vote
ICES
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We present a systematic procedure for the synthesis and minimisation of digital circuits using propositional satisfiability. We encode the truth table into a canonical s...
169
click to vote
ISPD
1998
ACM
15 years 11 months ago
1998
ACM
This paper proposes a placement method for a mixed set of hard, soft, and pre-placed modules, based on a placement topology representation called sequence-pair. Under one sequence...
143
click to vote
AUSAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. A learning curve of a performance measure provides a graphical method with many benefits for judging classifier properties. The area under the ROC curve (AUC) is a useful...
183
click to vote
DATESO
2004
15 years 8 months ago
2004
Binary Factor Analysis (BFA, also known as Boolean Factor Analysis) may help with understanding collections of binary data. Since we can take collections of text documents as binar...