6960 search results - page 1292 / 1392 » Continuity Analysis of Programs |
113
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
This project describes the electricity demand and energy consumption management system and its application to Southern Peru smelter. It is composted of an hourly demand-forecastin...
100
click to vote
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
—In poorly constrained extra-vascular environments such as hollow viscera, current catheter navigation techniques are restricted to simple paths and therefore limit a doctor’s ...
141
click to vote
INFORMS
2010
15 years 1 months ago
2010
Haplotyping estimation from aligned Single Nucleotide Polymorphism (SNP) fragments has attracted more and more attention in the recent years due to its importance in analysis of m...
109
click to vote
MP
2010
15 years 1 months ago
2010
We study the mixed-integer rounding (MIR) closures of polyhedral sets. The MIR closure of a polyhedral set is equal to its split closure and the associated separation problem is N...
120
click to vote
NPC
2010
Springer
15 years 1 months ago
2010
Springer
This paper introduces the DUP System, a simple framework for parallel stream processing. The DUP System enables developers to compose applications from stages written in almost any...