Sciweavers

267 search results - page 27 / 54
» his 2008
Sort
View
AISC
2008
Springer
13 years 11 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
13 years 11 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
13 years 11 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
13 years 9 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
MSS
2008
IEEE
58views Hardware» more  MSS 2008»
13 years 9 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