4666 search results - page 49 / 934 » Equations on Timed Languages |
ICPR
2010
IEEE
14 years 23 days ago
2010
IEEE
The Integral Equation Model (IEM) predicts the normalized radar cross section (NRCS) of dielectric surfaces given surface and radar parameters. To derive the surface parameters fr...
AMC
2008
13 years 11 months ago
2008
A system of stochastic differential equations is studied describing a compartmental carbon transfer model that includes uncertainties arising in the model from environmental and p...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
We present a numerical approximation technique for the analysis of continuous-time Markov chains that describe networks of biochemical reactions and play an important role in the ...
ICFP
2008
ACM
14 years 10 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
ICALP
2005
Springer
14 years 4 months ago
2005
Springer
d Abstract) MohammadReza Mousavi and Michel A. Reniers Department of Computer Science, Eindhoven University of Technology, NL-5600MB Eindhoven, The Netherlands Abstract. In this pa...