2715 search results - page 23 / 543 » Total Generalized Variation |
WSC
2007
14 years 5 days ago
2007
This paper presents problems encountered within the simulation modeling community of General Motors when they are faced with the requirement to verify all new plant designs for th...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
— We derive new bounds on the aperiodic total squared correlation (ATSC) of binary antipodal signature sets for any number of signatures K and any signature length L. We then pre...
GECCO
2005
Springer
14 years 3 months ago
2005
Springer
Algorithmic Chemistries are Artificial Chemistries that aim at algorithms. In this contribution we present a new algorithm to execute Algorithmic Chemistries during evolution. Th...
UAI
1989
13 years 11 months ago
1989
In this paper, the feasibility of using finite totally ordered probability models under Aleliunas’s Theory of Probabilistic Logic [Aleliunas, 1988] is investigated. The general...
SPAA
2005
ACM
14 years 3 months ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...