472 search results - page 10 / 95 » Limiting Negations in Formulas |
AAECC
2005
Springer
13 years 9 months ago
2005
Springer
The ideal class group of hyperelliptic curves can be used in cryptosystems based on the discrete logarithm problem. In this article we present explicit formulae to perform the gro...
LOPSTR
2009
Springer
14 years 3 months ago
2009
Springer
Answer Set Programming (ASP) is a powerful paradigm of logic programming for non-monotonic reasoning. However, the restriction of “grounded range-restricted function-free normal ...
ICNS
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper investigates the performance of the TCP transport protocol over IEEE 802.11 wireless networks. A wireless link is generally characterized by high transmission errors an...
ACRI
2006
Springer
14 years 3 months ago
2006
Springer
Two-dimensional cellular automata (CA) systems are widely used for modeling spatio-temporal dynamics of evolving populations. Conversely, the logistic equation is a 1-D model descr...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...