1728 search results - page 213 / 346 » The Size of Power Automata |
174
click to vote
ANTS
2000
Springer
15 years 11 months ago
2000
Springer
This paper analyzes reduction of fractional ideals in a purely cubic function field of unit rank one. The algorithm is used for generating all the reduced principal fractional ide...
186
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
We provide techniques to integrate resolution logic with equality in type theory. The results may be rendered as follows. − A clausification procedure in type theory, equipped w...
165
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a method for optimizing and automating component and transistor sizing for CMOS LC oscillators. We observe that the performance measures can be formulated as posynomial...
170
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper shows the power of randomization in designing e cient parallel algorithms for the problems of routing and PRAM emulation. We show that with randomization techniques opti...
182
click to vote
COMPCON
1994
IEEE
15 years 10 months ago
1994
IEEE
The Newton MessagePad Personal Digital Assistant (PDA) is the first in a class of devices distinguished by their pen-based user interface, communications capability, small size, a...