4325 search results - page 864 / 865 » Incremental computation with names |
STACS
2010
Springer
15 years 5 months 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
15 years 3 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...
88
Voted
ICCAD
2003
IEEE
15 years 3 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...
88
Voted
GI
2009
Springer
15 years 3 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
15 years 2 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...