1040 search results - page 91 / 208 » Tools for modeling and solving search problems |
179
Voted
ARTS
1999
Springer
15 years 5 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
105
click to vote
JMLR
2006
15 years 18 days ago
2006
An ensemble is a group of learning models that jointly solve a problem. However, the ensembles generated by existing techniques are sometimes unnecessarily large, which can lead t...
102
Voted
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
Point estimates of the parameters in real world models convey valuable information about the actual system. However, parameter comparisons and/or statistical inference requires de...
110
Voted
ITC
2003
IEEE
15 years 6 months ago
2003
IEEE
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...
88
Voted
ISPD
1999
ACM
15 years 5 months ago
1999
ACM
—This paper studies a natural formulation of the timing-driven maze routing problem. A multigraph model appropriate for global routing applications is adopted; the model naturall...