Sciweavers

6028 search results - page 8 / 1206
» Randomness as a resource for design
Sort
View
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
14 years 22 hour ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann
ICMCS
2005
IEEE
191views Multimedia» more  ICMCS 2005»
14 years 1 months ago
A gridding Hough transform for detecting the straight lines in sports video
A gridding Hough transform (GHT) is proposed to detect the straight lines in sports video, which is much faster and requires much less memory than the previous Hough transforms. T...
Xinguo Yu, Hoe Chee Lai, Sophie Xiao Fan Liu, Hon ...
HCI
2009
13 years 5 months ago
User Centered Design of a Learning Object Repository
This work outlines the design process of a user centered learning object repository. A repository should foster the development and acquisition of both generic and specific informa...
Núria Ferran, Ana-Elena Guerrero-Rold&aacut...
SIGCOMM
2010
ACM
13 years 7 months ago
Design and implementation of an "approximate" communication system for wireless media applications
All practical wireless communication systems are prone to errors. At the symbol level such wireless errors have a well-defined structure: when a receiver decodes a symbol erroneou...
Sayandeep Sen, Syed Gilani, Shreesha Srinath, Step...
CRYPTO
1989
Springer
163views Cryptology» more  CRYPTO 1989»
13 years 11 months ago
Undeniable Signatures
Abstract. In this paper, we provide a new approach to study undeniable signatures by translating secure digital signatures to secure undeniable signatures so that the existing algo...
David Chaum, Hans Van Antwerpen