2316 search results - page 56 / 464 » The many forms of hypercomputation |
134
Voted
FM
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...
145
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
Technology mapping requires the unmapped logic network to be represented in terms of base functions, usually two-input NORs and inverters. Technology decomposition is the step tha...
124
click to vote
STOC
1993
ACM
15 years 8 months ago
1993
ACM
In this paper we consider the di culty of factoring multivariate polynomials F(x y z :::) modulo n. We consider in particular the case in which F is a product of two randomly chose...
155
click to vote
CHI
2007
ACM
15 years 8 months ago
2007
ACM
There is a tremendous amount of web content available today, but it is not always in a form that supports end-users' needs. In many cases, all of the data and services needed...
154
click to vote
ANTS
2010
Springer
15 years 8 months ago
2010
Springer
Lattices over number elds arise from a variety of sources in algorithmic algebra and more recently cryptography. Similar to the classical case of Z-lattices, the choice of a nice,...