15784 search results - page 922 / 3157 » Mega Software Engineering |
380
click to vote
VLSI
2012
Springer
14 years 3 months ago
2012
Springer
e technique is based on abstract execution profiles, called event signatures, and it operates at a higher level of abstraction than, for example, commonly used instruction-set sim...
227
click to vote
VMCAI
2012
Springer
14 years 3 months ago
2012
Springer
Abstract. Recently, a general framework on characteristic formulae was proposed by Aceto et al. It offers a simple theory that allows one to easily obtain characteristic formulae o...
228
click to vote
VMCAI
2012
Springer
14 years 3 months ago
2012
Springer
We present a sound method for clustering alarms from static analyzers. Our method clusters alarms by discovering sound dependencies between them such that if the dominant alarm of ...
254
click to vote
PAMI
2012
13 years 10 months ago
2012
Which one comes first: segmentation or recognition? We propose a unified framework for carrying out the two simultaneously and without supervision. The framework combines a fle...
282
click to vote
PAMI
2012
13 years 10 months ago
2012
Abstract—We consider two desired properties of learning algorithms: sparsity and algorithmic stability. Both properties are believed to lead to good generalization ability. We sh...