Sciweavers

3179 search results - page 359 / 636
» Applications of PCF Theory
Sort
View
SIAMCOMP
2002
95views more  SIAMCOMP 2002»
13 years 9 months ago
A Linear Algorithm for Finding the Invariant Edges of an Edge-Weighted Graph
Given an edge-weighted graph where all weights are nonnegative reals, an edge reweighting is an assignment of nonnegative reals to edges such that, for each vertex, the sums of giv...
Francesco M. Malvestuto, Mauro Mezzini
TGIS
2002
137views more  TGIS 2002»
13 years 9 months ago
Spatio-Temporal Object-Oriented Data Model for Disaggregate Travel Behavior
The research field of transportation demand forecasting has started to focus on disaggregate travel behavior and micro-simulation models. To create data infrastructure, disaggrega...
Ali Frihida, Danielle J. Marceau, Marius Thé...
TIT
2002
67views more  TIT 2002»
13 years 9 months ago
A statistical-mechanics approach to large-system analysis of CDMA multiuser detectors
We present a theory, based on statistical mechanics, to evaluate analytically the performance of uncoded, fully synchronous, randomly spread code-division multiple-access (CDMA) mu...
Toshiyuki Tanaka
ML
2007
ACM
13 years 9 months ago
Status report: specifying javascript with ML
The Ecma TC39-TG1 working group is using ML as the specification language for the next generation of JavaScript, the popular programming language for browser-based web applicatio...
David Herman, Cormac Flanagan
ATMOS
2010
136views Optimization» more  ATMOS 2010»
13 years 8 months ago
An Empirical Analysis of Robustness Concepts for Timetabling
Calculating timetables that are insensitive to disturbances has drawn considerable research efforts due to its practical importance on the one hand and its hard tractability by c...
Marc Goerigk, Anita Schöbel