Sciweavers

376 search results - page 14 / 76
» Year 2000
Sort
View
COMPGEOM
2000
ACM
13 years 12 months ago
Pitfalls in computing with pseudorandom determinants
It has been known for 30 years that pseudorandom number generators in the class of linear congruential generators (LCG) exhibit strong and predictable regularities. A widely used ...
Bernd Gärtner
CADE
2000
Springer
13 years 12 months ago
The Nuprl Open Logical Environment
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
Stuart F. Allen, Robert L. Constable, Richard Eato...
DEXA
2000
Springer
127views Database» more  DEXA 2000»
13 years 12 months ago
From Object-Oriented to Aspect-Oriented Databases
Over the recent years aspect-oriented programming (AOP) has found increasing interest among researchers in software engineering. Aspects are ions which capture and localise cross-c...
Awais Rashid, Elke Pulvermüller
DL
2000
Springer
151views Digital Library» more  DL 2000»
13 years 12 months ago
Designing a children's digital library with and for children
This paper describes preliminary work carried out to design a children’s digital library of stories and poems with and for children aged 11-14 years old. We describe our experie...
Yin Leng Theng, Norliza Mohd-Nasir, Harold W. Thim...
FQAS
2000
Springer
137views Database» more  FQAS 2000»
13 years 11 months ago
Towards the Tractable Discovery of Association Rules with Negations
Frequent association rules (e.g., AB C to say that when properties A and B are true in a record then, C tends to be also true) have become a popular way to summarize huge datasets...
Jean-François Boulicaut, Artur Bykowski, Ba...