54 search results - page 8 / 11 » Efficient Verification Algorithms for One-Counter Processes |
SIGGRAPH
1992
ACM
13 years 11 months ago
1992
ACM
A new device for measuringthe spatial reflectancedistributionsof surfaces is introduced, along with a new mathematical model of sniaorropic reflectance. The reflectance model pres...
HYBRID
2000
Springer
13 years 11 months ago
2000
Springer
We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on ...
GECCO
2008
Springer
13 years 8 months ago
2008
Springer
This paper compares three common evolutionary algorithms and our modified GA, a Distributed Adaptive Genetic Algorithm (DAGA). The optimal approach is sought to adapt, in near rea...
ICIP
2007
IEEE
14 years 9 months ago
2007
IEEE
On-line discovery of some auxiliary objects to verify the tracking results is a novel approach to achieving robust tracking by balancing the need for strong verification and compu...
RECOMB
2009
Springer
14 years 8 months ago
2009
Springer
The dynamics of biological processes are often modeled as systems of nonlinear ordinary differential equations (ODE). An important feature of nonlinear ODEs is that seemingly minor...