1722 search results - page 321 / 345 » Generating Tests from Counterexamples |
COGSCI
2002
13 years 7 months ago
2002
We address how listeners perceive temporal regularity in music performances, which are rich in temporal irregularities. A computational model is described in which a small system ...
ENTCS
2002
13 years 7 months ago
2002
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...
TODAES
2002
13 years 7 months ago
2002
ct Cross-coupled noise analysis has become a critical concern in today's VLSI designs. Typically, noise analysis makes an assumption that all aggressing nets can simultaneousl...
ICDE
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract— We propose the Multi-resolution Correlation Cluster detection (MrCC), a novel, scalable method to detect correlation clusters able to analyze dimensional data in the ra...
MANSCI
2010
13 years 6 months ago
2010
Retail store managers may not follow order advices generated by an automated inventory replenishment system if their incentives differ from the cost minimization objective of the...