Sciweavers

721 search results - page 126 / 145
» Almost universal graphs
Sort
View
APPROX
2005
Springer
150views Algorithms» more  APPROX 2005»
15 years 10 months ago
A Primal-Dual Approximation Algorithm for Partial Vertex Cover: Making Educated Guesses
We study the partial vertex cover problem. Given a graph G = (V, E), a weight function w : V → R+ , and an integer s, our goal is to cover all but s edges, by picking a set of v...
Julián Mestre
ASM
2005
ASM
15 years 10 months ago
RAM Simulation of BGS Model of Abstract State Machines
lation of BGS model of Abstract State Machines Comandur Seshadhri1 , Anil Seth2 , and Somenath Biswas2 1 Department of Computer Science Princeton University, Princeton NJ 08544, US...
Seshadhri Comandur, Anil Seth, Somenath Biswas
148
Voted
ICCAD
2000
IEEE
109views Hardware» more  ICCAD 2000»
15 years 9 months ago
General Models for Optimum Arbitrary-Dimension FPGA Switch Box Designs
–An FPGA switch box is said to be hyper-universal if it is routable for all possible surrounding multi-pin net topologies satisfying the routing resource constraints. It is desir...
Hongbing Fan, Jiping Liu, Yu-Liang Wu
148
Voted
CP
2000
Springer
15 years 9 months ago
Automatic Generation of Propagation Rules for Finite Domains
plexity Theorems: Talk Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 David McAllester Regular Papers Automatic Generation of Propagation Rules for F...
Slim Abdennadher, Christophe Rigotti
ECBS
1999
IEEE
129views Hardware» more  ECBS 1999»
15 years 9 months ago
Situation Assessment and Decision Making Integrated into the Process Centered Environment
Researchers have defined a number of process modeling methods and have developed in-roads to process-centered environments that support process modeling and project control. Howev...
Stephanie White, Susan Fife Dorchak, John T. Keane...