8810 search results - page 1443 / 1762 » Open. Closed. Open |
177
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
We propose a fully automatic method for summarizing and indexing unstructured presentation videos based on text extracted from the projected slides. We use changes of text in the ...
196
click to vote
ICSOC
2009
Springer
15 years 4 months ago
2009
Springer
Service-oriented computing provides an evolving paradigm for flexible and scalable applications of open systems. Web services and their automatic composition are in the mainstream...
196
click to vote
ASIACRYPT
2010
Springer
15 years 4 months ago
2010
Springer
We consider the round complexity of a basic cryptographic task: verifiable secret sharing (VSS). This well-studied primitive provides a good "test case" for our understan...
175
click to vote
ASPDAC
2010
ACM
15 years 4 months ago
2010
ACM
This paper describes gate work function and oxide thickness tuning to realize novel circuits using dual-Vth independent-gate FinFETs. Dual-Vth FinFETs with independent gates enabl...
182
click to vote
CACM
2010
15 years 4 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...