2693 search results - page 83 / 539 » French Order Without Order |
136
click to vote
EJC
2008
15 years 3 months ago
2008
Gerards and Seymour (see [T.R. Jensen, B. Toft, Graph Coloring Problems, Wiley-Interscience, 1995], page 115) conjectured that if a graph has no odd complete minor of order p, the...
109
click to vote
DAC
2007
ACM
16 years 4 months ago
2007
ACM
In this paper, we propose TROY, the first track router with yield-driven wire planning to optimize yield loss due to random defects. As the probability of failure (POF) computed f...
116
Voted
ECIR
2009
Springer
16 years 23 days ago
2009
Springer
Synchronous Collaborative Information Retrieval refers to systems that support multiple users searching together at the same time in order to satisfy a shared information need. To ...
140
click to vote
SOFSEM
2010
Springer
16 years 14 days ago
2010
Springer
We present a new technique to prove termination of Term Rewriting Systems, with full automation. A crucial task in this context is to find suitable well-founded orderings. A popul...
126
Voted
IEEEARES
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose a practical verifiable e-voting protocol which guarantees e-voting requirements: privacy, eligibility, uniqueness, uncoercibility, fairness, accuracy, robustness, indiv...