386 search results - page 14 / 78 » Improving Lotos Simulation Using Constraint Propagation |
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
This paper considers the problem of constrained tracking the timevarying room impulse response of a source/microphone pair. The constraint which is used to improve the performance...
114
click to vote
IFIP
2001
Springer
15 years 2 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
76
Voted
CPAIOR
2009
Springer
15 years 4 months ago
2009
Springer
An attractive mechanism to specify global constraints in rostering and other domains is via formal languages. For instance, the REGULAR and GRAMMAR constraints specify constraints ...
99
Voted
CP
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Interval-based methods can approximate all the real solutions of a system of equations and inequalities. The Box interval constraint propagation algorithm enforces Box co...
76
Voted
VTS
2006
IEEE
15 years 3 months ago
2006
IEEE
Monte Carlo analysis has so far been the corner stone for analog statistical simulations. Fast and accurate simulations are necessary for stringent time-to-market, design for manu...