4325 search results - page 864 / 865 » Incremental computation with names |
STACS
2010
Springer
14 years 22 days ago
2010
Springer
In 2000 Alber et al. [SWAT 2000 ] obtained the ï¬rst parameterized subexponential algorithm on undirected planar graphs by showing that k-DOMINATING SET is solvable in time 2O( â...
GI
2004
Springer
13 years 11 months ago
2004
Springer
Abstract: Es wird eine nat¨urlichsprachliche L¨osung vorgestellt, die in der Hauptverwaltung der Sixt AG seit Dezember 2003 im Einsatz ist. Das System zur automatischen Vermittlu...
ICCAD
2003
IEEE
13 years 11 months ago
2003
IEEE
This paper presents several important enhancements to the recently published multilevel placement package mPL [12]. The improvements include (i) unconstrained quadratic relaxation...
GI
2009
Springer
13 years 10 months ago
2009
Springer
: Das Forschungsprojekt „Herbar Digital†[JKS00] startete 2007 mit dem Ziel der Digitalisierung des Bestands von mehr als 3,5 Millionen getrockneter Pflanzen bzw. Pflanzenteile...
FOCS
2004
IEEE
13 years 9 months ago
2004
IEEE
In this paper we show a reduction from the Unique Games problem to the problem of approximating MAX-CUT to within a factor of GW + , for all > 0; here GW .878567 denotes the a...