3778 search results - page 374 / 756 » Erdos-Ko-Rado for three sets |
178
Voted
CPM
2006
Springer
15 years 10 months ago
2006
Springer
A single logical entity can be referred to by several different names over a large text corpus. We present our algorithm for finding all suchco-reference sets in a large corpus. Ou...
167
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
There is little agreement on terminology in model composition, and even less on key characteristics of a model composition solution. We present three composition frameworks: the At...
195
Voted
FPGA
2000
ACM
15 years 10 months ago
2000
ACM
This paper describes a C compiler for a mixed Processor/FPGA architecture where the FPGA is a Reconfigurable Functional Unit (RFU). It presents three compilation techniques that c...
171
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hinde...
170
click to vote
GECCO
2010
Springer
15 years 10 months ago
2010
Springer
In this paper, we study the performances of the NEW Unconstrained Optimization Algorithm (NEWUOA) with different numbers of interpolation points. NEWUOA is a trust region method, ...