3341 search results - page 229 / 669 » On Bounded Queries and Approximation |
159
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
In this paper, we define the notion of approximate bisimulation relation between two continuous systems. While exact bisimulation requires that the observations of two systems ar...
134
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Bounded model checking (BMC) has gained widespread industrial use due to its relative scalability. Its exhaustiveness over all valid input vectors allows it to expose arbitrarily ...
160
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Burstiness and temporal dependence in service processes are often found in multi-tier architectures and storage devices and must be captured accurately in capacity planning models...
194
click to vote
JUCS
2010
15 years 1 months ago
2010
: We address the question of how to communicate among distributed processes values such as real numbers, continuous functions and geometrical solids with arbitrary precision, yet e...
160
click to vote
GECCO
2007
Springer
16 years 24 days ago
2007
Springer
Recently, a convergence proof of stochastic search algorithms toward finite size Pareto set approximations of continuous multi-objective optimization problems has been given. The...