4502 search results - page 769 / 901 » Regular Model Checking |
143
click to vote
ENTCS
2007
15 years 4 months ago
2007
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
161
click to vote
NETWORKS
2006
15 years 4 months ago
2006
We study capacitated network flow problems with supplies and demands defined on a countably infinite collection of nodes having finite degree. This class of network flow models in...
144
click to vote
SIAMIS
2008
15 years 4 months ago
2008
We propose, analyze and test an alternating minimization algorithm for recovering images from blurry and noisy observations with total variation (TV) regularization. This algorith...
123
click to vote
IJAR
2007
15 years 4 months ago
2007
This paper discusses some aspects of fuzzy random variables obtained by propagating uncertainty in risk analysis when some input parameters are stochastic, while others are determ...
135
click to vote
TEC
2008
15 years 4 months ago
2008
In this paper, we propose a technique based on genetic programming (GP) for meshfree solution of elliptic partial differential equations. We employ the least-squares collocation pr...