Sciweavers

12519 search results - page 2456 / 2504
» Approximation Problems Categories
Sort
View
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 3 months ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný
CORR
2010
Springer
82views Education» more  CORR 2010»
15 years 3 months ago
Expansion and Search in Networks
Borrowing from concepts in expander graphs, we study the expansion properties of real-world, complex networks (e.g. social networks, unstructured peer-to-peer or P2P networks) and...
Arun S. Maiya, Tanya Y. Berger-Wolf
CORR
2008
Springer
143views Education» more  CORR 2008»
15 years 3 months ago
Maximally Radio-Disjoint Multipath Routing for Wireless Multimedia Sensor Networks
In wireless sensor networks, bandwidth is one of precious resources to multimedia applications. To get more bandwidth, multipath routing is one appropriate solution provided that ...
Moufida Maimour
ENVSOFT
2010
105views more  ENVSOFT 2010»
15 years 3 months ago
Air pollution, economic activity and respiratory illness: Evidence from Canadian cities, 1974-1994
Many studies have reported a relationship between urban air pollution levels and respiratory health problems. However, there are notable variations in results, depending on modeli...
Gary Koop, Ross McKitrick, Lise Tole
ENVSOFT
2008
55views more  ENVSOFT 2008»
15 years 3 months ago
A simple algorithm for yield estimates: Evaluation for semi-arid irrigated winter wheat monitored with green leaf area index
In this study we investigated the perspective offered by coupling a simple vegetation growth model and ground-based remotely-sensed data for the monitoring of wheat production. A ...
Benoît Duchemin, Philippe Maisongrande, Gill...
« Prev « First page 2456 / 2504 Last » Next »