1690 search results - page 275 / 338 » Applications of Metric Coinduction |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
A Virtual Private Network (VPN) provides private network connections over a publicly accessible shared network. The effective allocation of bandwidth for VPNs assumes significance...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
The availability of positional information is of great importance in many commercial, public safety, and military applications. The coming years will see the emergence of locationa...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
EC
2010
13 years 9 months ago
2010
Perhaps the biggest limitation of interactive EC is the fitness evaluation bottleneck, caused by slow user evaluation and leading to small populations and user fatigue. In this st...
BIOINFORMATICS
2006
13 years 9 months ago
2006
Motivation: In the Affymetrix GeneChip system, preprocessing occurs before one obtains expression level measurements. Because the number of competing preprocessing methods was lar...