1150 search results - page 136 / 230 » Tackling Large State Spaces in Performance Modelling |
140
click to vote
WSC
1998
15 years 5 months ago
1998
This paper presents a practical undertaking to solve an industry-specific problem of facility expansion through relocation of an existing production facility to a proposed new fac...
176
Voted
CORR
2012
Springer
13 years 11 months ago
2012
Springer
Suppose that we observe noisy linear measurements of an unknown signal that can be modeled as the sum of two component signals, each of which arises from a nonlinear sub-manifold ...
151
click to vote
ENTCS
2007
15 years 4 months ago
2007
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...
139
click to vote
IQ
2007
15 years 5 months ago
2007
: Poor Information Quality (IQ) has a significant impact on the general performance of an organization. Investments in IT have had a great impact on the banking industry in recent ...
162
click to vote
SIAMIS
2011
14 years 11 months ago
2011
This article presents a new adaptive framework for locally parallel texture modeling. Oscillating patterns are modeled with functionals that constrain the local Fourier decompositi...