Sciweavers

1219 search results - page 34 / 244
» Where to Look Next
Sort
View
IJACT
2010
67views more  IJACT 2010»
13 years 2 months ago
On message recognition protocols: recoverability and explicit confirmation
: We look at message recognition protocols (MRPs) and prove that there is a oneto-one correspondence between stateless non-interactive MRPs and digital signature schemes. Next, we ...
Ian Goldberg, Atefeh Mashatan, Douglas R. Stinson
TCAD
2010
121views more  TCAD 2010»
13 years 2 months ago
Translation Validation of High-Level Synthesis
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
ICPR
2004
IEEE
14 years 8 months ago
Boosting Nested Cascade Detector for Multi-View Face Detection
In this paper, a novel nested cascade detector for multi-view face detection is presented. This nested cascade is learned by Schapire and Singer's improved boosting algorithm...
Bo Wu, Chang Huang, Haizhou Ai, Shihong Lao
DAC
2001
ACM
14 years 8 months ago
SoC Integration of Reusable Baseband Bluetooth IP
This presentation will give a list of design criteria an ASIC Design house need to look in the process of deciding to take the complex Bluetooth specification and implement everyt...
Barry Clark, Torbjörn Grahm
BIRTHDAY
2007
Springer
14 years 1 months ago
Linear Recursive Functions
Abstract. With the recent trend of analysing the process of computation through the linear logic looking glass, it is well understood that the ability to copy and erase data is ess...
Sandra Alves, Maribel Fernández, Már...