Sciweavers

267 search results - page 27 / 54
» his 2008
Sort
View
AISC
2008
Springer
15 years 3 months ago
Mediated Access to Symbolic Computation Systems
Kenzo is a symbolic computation system devoted to Algebraic Topology. It has been developed by F. Sergeraert mainly as a research artifact. The challenge is now to increase the nu...
Jónathan Heras, Vico Pascual, Julio Rubio
CIE
2008
Springer
15 years 3 months ago
A Week-End Off: The First Extensive Number-Theoretical Computation on the ENIAC
The first extensive number-theoretical computation run on the world's first U.S. digital general-purpose electronic computer, the ENIAC, is reconstructed. The problem, computi...
Liesbeth De Mol, Maarten Bullynck
DAWAK
2008
Springer
15 years 3 months ago
Efficient Approximate Mining of Frequent Patterns over Transactional Data Streams
Abstract. We investigate the problem of finding frequent patterns in a continuous stream of transactions. It is recognized that the approximate solutions are usually sufficient and...
Willie Ng, Manoranjan Dash
AIS
2008
Springer
15 years 2 months ago
Ethical robots: the future can heed us
Bill Joy's deep pessimism is now famous. "Why The Future Doesn't Need Us," his defense of that pessimism, has been read by, it seems, everyone -- and many of t...
Selmer Bringsjord
103
Voted
MSS
2008
IEEE
58views Hardware» more  MSS 2008»
15 years 1 months ago
Licensing of a quality-improving innovation
This paper considers the licensing of a quality-improving innovation. We analyze a duopoly model with heterogeneous firms and consumers. Firms compete in prices and face logit dem...
Giorgos Stamatopoulos, Yair Tauman