950 search results - page 78 / 190 » Modified global k |
136
Voted
DAC
1994
ACM
15 years 8 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
113
Voted
ACISP
2007
Springer
15 years 8 months ago
2007
Springer
Compact e-cash schemes allow a user to withdraw a wallet containing k coins in a single operation, each of which the user can spend unlinkably. One big open problem for compact e-c...
122
click to vote
CAINE
2003
15 years 5 months ago
2003
This paper discusses the development of a computational modeling and analysis toolkit to construct, animate, and biomechanically analyze sophisticated models of vertebrates. Users...
140
Voted
IMAGING
2001
15 years 5 months ago
2001
Recently, with the advent of printers with more than four colorants, the development of characterization and calibration techniques for these printers has been an important area o...
118
click to vote
IVC
2006
15 years 4 months ago
2006
In recent years, the chaos based cryptographic algorithms have suggested some new and efficient ways to develop secure image encryption techniques.Inthis communication,weproposea ...