488 search results - page 55 / 98 » Weighted Logics for Traces |
ICML
2000
IEEE
16 years 19 days ago
2000
IEEE
In manyoptimization and decision problems the objective function can be expressed as a linear combinationof competingcriteria, the weights of whichspecify the relative importanceo...
SC
2005
ACM
15 years 5 months ago
2005
ACM
In this paper, a systematic study of the effects of complexity of prediction methodology on its accuracy for a set of real applications on a variety of HPC systems is performed. R...
CSC
2006
15 years 1 months ago
2006
The computation of radiative effects by the Photon Monte Carlo method is computationally demanding, especially when complex, nongray absorption models are employed. To solve such c...
TODAES
2002
14 years 11 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...
128
click to vote
STACS
1993
Springer
15 years 3 months ago
1993
Springer
Abduction is an important form of nonmonotonic reasoning allowing one to find explanations for certain symptoms or manifestations. When the application domain is described by a l...