Sciweavers

2225 search results - page 305 / 445
» Logical Structures in the Lexicon
Sort
View
AICCSA
2005
IEEE
87views Hardware» more  AICCSA 2005»
16 years 2 days ago
A XML format secure protocol - OpenSST
OpenSST (Open Simple Secure Transaction) is a free software project and aims to create an efficient, open and secure alternative to the secure proprietary transaction protocol. Op...
Xinhua Zhang, Chunyan Jiang, Wanjun Huang, Christo...
DATE
2005
IEEE
169views Hardware» more  DATE 2005»
16 years 2 days ago
Activity Packing in FPGAs for Leakage Power Reduction
In this paper, two packing algorithms for the detection of activity profiles in MTCMOS-based FPGA structures are proposed for leakage power mitigation. The first algorithm is a ...
Hassan Hassan, Mohab Anis, Antoine El Daher, Moham...
VTS
2005
IEEE
89views Hardware» more  VTS 2005»
16 years 1 days ago
Synthesis of Low Power CED Circuits Based on Parity Codes
An automated design procedure is described for synthesizing circuits with low power concurrent error detection. It is based on pre-synthesis selection of a parity-check code follo...
Shalini Ghosh, Sugato Basu, Nur A. Touba
DNA
2005
Springer
118views Bioinformatics» more  DNA 2005»
16 years 35 min ago
Molecular Learning of wDNF Formulae
We introduce a class of generalized DNF formulae called wDNF or weighted disjunctive normal form, and present a molecular algorithm that learns a wDNF formula from training example...
Byoung-Tak Zhang, Ha-Young Jang
FOSSACS
2005
Springer
15 years 12 months ago
A Unifying Model of Variables and Names
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
Marino Miculan, Kidane Yemane