5122 search results - page 229 / 1025 » Comparing Consequence Relations |
177
click to vote
DFT
2005
IEEE
15 years 6 months ago
2005
IEEE
A built-in self-test (BIST) scheme is presented which both reduces overhead for detecting random-pattern-resistant (r.p.r.) faults as well as reduces power consumption during test...
148
click to vote
COLT
2008
Springer
15 years 6 months ago
2008
Springer
Clustering Stability methods are a family of widely used model selection techniques applied in data clustering. Their unifying theme is that an appropriate model should result in ...
137
click to vote
CSL
2008
Springer
15 years 6 months ago
2008
Springer
We investigate decidability, complexity and expressive power issues for (first-order) separation logic with one record field (herein called SL) and its fragments. SL can specify pr...
131
click to vote
EUROCRYPT
2008
Springer
15 years 6 months ago
2008
Springer
Precise zero knowledge introduced by Micali and Pass (STOC'06) guarantees that the view of any verifier V can be simulated in time closely related to the actual (as opposed t...
111
click to vote
ICWSM
2010
15 years 6 months ago
2010
This research explored the transition of romantic relationships from meeting online to the first face-to-face date. It is inevitable that impressions of a partner will change to s...