5138 search results - page 895 / 1028 » Randomized Algorithms for 3-SAT |
128
click to vote
ICFCA
2009
Springer
15 years 7 months ago
2009
Springer
This paper presents Binary Decision Diagrams (BDDs) applied to Formal Concept Analysis (FCA). The aim is to increase the FCA capability to handle large formal contexts. The main id...
111
click to vote
SIGGRAPH
2010
ACM
15 years 7 months ago
2010
ACM
We present a new sketch-based modeling approach in which models are interactively designed by drawing their 2D silhouettes from different views. The core idea of our paper is to l...
112
click to vote
ICN
2001
Springer
15 years 7 months ago
2001
Springer
—This paper presents a new scalable buffer-management scheme for IP Differentiated Services. The scheme consists of a Differentiated Random Drop (DRD) algorithm using feedback fr...
136
click to vote
INFOCOM
2000
IEEE
15 years 7 months ago
2000
IEEE
Abstract—In this paper, we present the implementation issues of a virtual backbone that supports the operations of the Uniform Quorum System (UQS) and the Randomized Database Gro...
121
click to vote
INFOCOM
2000
IEEE
15 years 7 months ago
2000
IEEE
— We study wavelength assignment for lightpaths over WDM rings to minimize the SONET ADMs used. This problem has attracted much attention recently. However, its computation compl...