8825 search results - page 1336 / 1765 » All for one or one for all |
106
Voted
RE
2001
Springer
15 years 6 months ago
2001
Springer
at different levels of abstraction. There are two very different ways of using such languages. One approach is based on the manifestation of a single model, with construction of di...
145
click to vote
AIWORC
2000
IEEE
15 years 6 months ago
2000
IEEE
The "schooling industry" is faced with an inescapable demand to redefine its endeavors in terms of producing learning, rather than providing instructions. We propose a h...
104
click to vote
ECBS
2000
IEEE
15 years 6 months ago
2000
IEEE
Because there are di erent types of software (e.g., language, application, target environment, etc.), di erent software certi cation methodologies are needed. Software process imp...
126
click to vote
FOCS
2000
IEEE
15 years 6 months ago
2000
IEEE
Extractors (defined by Nisan and Zuckerman) are procedures that use a small number of truly random bits (called the seed) to extract many (almost) truly random bits from arbitrar...
127
click to vote
HPDC
2000
IEEE
15 years 6 months ago
2000
IEEE
The BaBar experiment at the Stanford Linear Accelerator Center (SLAC) is designed to perform a high precision investigation of the decays of the B-meson produced from electron-pos...