Sciweavers

263 search results - page 38 / 53
» Field Division Routing
Sort
View
INFOCOM
1997
IEEE
14 years 1 months ago
Multiwavelength Optical Networks with Limited Wavelength Conversion
— This paper proposes optical wavelength division multiplexed (WDM) networks with limited wavelength conversion that can efficiently support lightpaths (connections) between nod...
Rajiv Ramaswami, Galen H. Sasaki
CADE
2005
Springer
14 years 9 months ago
A Proof-Producing Decision Procedure for Real Arithmetic
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
Sean McLaughlin, John Harrison
KER
2008
193views more  KER 2008»
13 years 9 months ago
The 1st international workshop on computational social choice
Computational social choice is a new discipline currently emerging at the interface of social choice theory and computer science. It is concerned with the application of computati...
Ulle Endriss
JASIS
2011
95views more  JASIS 2011»
13 years 4 months ago
References made and citations received by scientific articles
This paper studies massive evidence about references made and citations received after a five-year citation window by 3.7 million articles published in 1998-2002 in 22 scientific ...
Pedro Albarrán, Javier Ruiz-Castillo
GIS
2009
ACM
14 years 10 months ago
From GPS Traces to a Routable Road Map
This paper presents a method for automatically converting raw GPS traces from everyday vehicles into a routable road network. The method begins by smoothing raw GPS traces using a...
Lili Cao, John Krumm