1941 search results - page 307 / 389 » Reasoning about Computations Using Two-Levels of Logic |
108
click to vote
IACR
2011
14 years 3 months ago
2011
KISS (‘Keep it Simple Stupid’) is an efficient pseudo-random number generator originally specified by G. Marsaglia and A. Zaman in 1993. G. Marsaglia in 1998 posted a C versio...
151
click to vote
VLSID
2006
IEEE
16 years 3 months ago
2006
IEEE
With device size shrinking and fast rising frequency ranges, effect of cosmic radiations and alpha particles known as Single-Event-Upset (SEU), Single-Eventtransients (SET), is a ...
133
click to vote
TPHOL
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
109
click to vote
LCTRTS
2001
Springer
15 years 8 months ago
2001
Springer
Computers are increasingly being incorporated in devices with a limited amount of available memory. As a result research is increasingly focusing on the automated reduction of pro...
126
Voted
MICCAI
2004
Springer
16 years 4 months ago
2004
Springer
This paper describes a method for estimating a human spine posture from human images using a human spine model to compute the rough approximation of the physical forces working on ...