12438 search results - page 187 / 2488 » The Magic of a Number System |
135
Voted
AI
2007
Springer
15 years 4 months ago
2007
Springer
One difficulty that arises in abstract argument systems is that many natural questions regarding argument acceptability are, in general, computationally intractable having been c...
161
click to vote
EMSOFT
2009
Springer
15 years 10 months ago
2009
Springer
While NAND flash memories have rapidly increased in both capacity and performance and are increasingly used as a storage device in many embedded systems, their reliability has de...
131
click to vote
ICDCS
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper formalizes transactional properties for publish/subscribe client mobility and develops protocols to realize them. Evaluations show that compared to traditional protocol...
90
Voted
ICCAD
2005
IEEE
16 years 1 months ago
2005
IEEE
— Nanoscale technologies provide both challenges and opportunities. We show that the issues and potential solutions facing designers are technology independent and arise mainly f...
122
click to vote
ISSAC
2009
Springer
15 years 10 months ago
2009
Springer
We extend Zeilberger’s approach to special function identities to cases that are not holonomic. The method of creative telescoping is thus applied to definite sums or integrals...