1928 search results - page 270 / 386 » XML with incomplete information |
107
Voted
DATE
2008
IEEE
16 years 10 days ago
2008
IEEE
— In the face of increased process variations, at-speed manufacturing test is necessary to detect subtle delay defects. This procedure necessarily tests chips at a slightly highe...
142
click to vote
ICASSP
2008
IEEE
16 years 9 days ago
2008
IEEE
In the case of multicomponent AM-FM signals, the idealized representation which consists of weighted trajectories on the time-frequency (TF) plane, is intrinsically sparse. Recent...
171
click to vote
WOSP
2005
ACM
15 years 11 months ago
2005
ACM
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
195
click to vote
PCI
2005
Springer
15 years 11 months ago
2005
Springer
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...
172
click to vote
SAT
2005
Springer
15 years 11 months ago
2005
Springer
Solvers for Quantified Boolean Formulae (QBF) use many analogues of technique from SAT. A significant amount of work has gone into extending conflict based techniques such as co...