Sciweavers

2949 search results - page 61 / 590
» Universal Sparse Modeling
Sort
View
JSW
2007
126views more  JSW 2007»
15 years 15 days ago
Efficient Evaluation of Multiple-Output Boolean Functions in Embedded Software or Firmware
— The paper addresses software and firmware implementation of multiple-output Boolean functions based on cascades of Look-Up Tables (LUTs). A LUT cascade is described as a means ...
Vaclav Dvorak
111
Voted
INDOCRYPT
2005
Springer
15 years 6 months ago
A Universally Composable Scheme for Electronic Cash
We propose a scheme for electronic cash based on symmetric primitives. The scheme is secure in the framework for universal composability assuming the existence of a symmetric CCA2-...
Mårten Trolin
RTA
2005
Springer
15 years 6 months ago
Universal Algebra for Termination of Higher-Order Rewriting
Abstract. We show that the structures of binding algebras and Σmonoids by Fiore, Plotkin and Turi are sound and complete models of Klop’s Combinatory Reduction Systems (CRSs). T...
Makoto Hamana
94
Voted
CISST
2003
105views Hardware» more  CISST 2003»
15 years 2 months ago
Modality Conversion in Content Adaptation for Universal Multimedia Access
Modality conversion is an important part in the content adaptation process of a Universal Multimedia Access system. The decision on modality conversion is dependent on terminal/ne...
Truong Cong Thang, Yong Ju Jung, Yong Man Ro
94
Voted
JITE
2008
99views more  JITE 2008»
15 years 17 days ago
Framing Professional Development in Information and Communications Technologies: University Perspectives
The proliferations of Information and Communications Technology (ICT) and an increase in the number of external students and of the digital youth have put considerable pressure up...
Johnnie Wycliffe, Frank Muwanga-Zake