373 search results - page 66 / 75 » Synthesis of Trigger Properties |
162
Voted
VISUALIZATION
2005
IEEE
15 years 11 months ago
2005
IEEE
Scientific illustrations use accepted conventions and methodologies to effectively convey object properties and improve our understanding. We present a method to illustrate volum...
152
Voted
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
139
click to vote
CHES
2004
Springer
15 years 10 months ago
2004
Springer
Because of the rapidly shrinking dimensions in VLSI, transient and permanent faults arise and will continue to occur in the near future in increasing numbers. Since cryptographic c...
165
Voted
CEC
2003
IEEE
15 years 10 months ago
2003
IEEE
AbstractRecent advances in gene-expression profiling technologies provide large amounts of gene expression data. This raises the possibility for a functional understanding of geno...
166
Voted
MM
2003
ACM
15 years 10 months ago
2003
ACM
Music thumbnailing (or music summarization) aims at finding the most representative part of a song, which can be used for web browsing, web searching and music recommendation. Thr...