2008 search results - page 127 / 402 » Computing with Equations |
ATVA
2008
Springer
13 years 11 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
ICVGIP
2004
13 years 11 months ago
2004
This paper presents several results on images of various configurations of conics. We extract information about the plane from single and multiple views of known and unknown conic...
TPDS
2010
13 years 8 months ago
2010
—In distributed computing systems (DCSs) where server nodes can fail permanently with nonzero probability, the system performance can be assessed by means of the service reliabil...
GECCO
2004
Springer
14 years 3 months ago
2004
Springer
The optimization of the epoxy polymerization process involves a number of conflicting objectives and more than twenty decision parameters. In this paper, the problem is treated tr...
CCE
2006
13 years 9 months ago
2006
7 A flue gas washer is a plant for the absorption of noxious components of industrial gas output. The type of flue gas washers that is considered here is a spray tower. In the towe...