18090 search results - page 414 / 3618 » Computing by Only Observing |
172
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
—This paper introduces a simple method for calculating the times at which any signal crosses a prespecified threshold voltage (e.g., 10%, 20%, 50%, etc.) directly from the moment...
177
click to vote
SCOPES
2007
Springer
16 years 26 days ago
2007
Springer
Embedded consumer devices are increasing their capabilities and can now implement new multimedia applications reserved only for powerful desktops a few years ago. These applicatio...
166
click to vote
ACSAC
2006
IEEE
16 years 25 days ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...
203
click to vote
FMCAD
2004
Springer
16 years 4 days ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...
168
click to vote
AUSAI
2003
Springer
16 years 4 hour ago
2003
Springer
Efficient mining of frequent patterns from large databases has been an active area of research since it is the most expensive step in association rules mining. In this paper, we pr...