2920 search results - page 340 / 584 » Finite information logic |
173
Voted
PCI
2001
Springer
15 years 11 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
177
click to vote
RT
2001
Springer
15 years 11 months ago
2001
Springer
Finite Element methods are well suited to the computation of the light distribution in mostly diffuse scenes, but the resulting mesh is often far from optimal to accurately represe...
156
click to vote
RTAS
1999
IEEE
15 years 11 months ago
1999
IEEE
Real-time media servers need to service hundreds and, possibly, thousands of clients, each with their own quality of service (QoS) requirements. To guarantee such diverse QoS requ...
156
click to vote
CRYPTO
1998
Springer
15 years 11 months ago
1998
Springer
The exponentiation function in a finite field of order p (a prime number) is believed to be a one-way function. It is well known that O(log log p) bits are simultaneously hard for ...
179
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
1 This paper provides a new, generalized approach to the problem of encoding information as vectors of binary digits. We furnish a formal definition for the Boolean constrained enc...