14379 search results - page 2547 / 2876 » is 2000 |
179
click to vote
BELL
2000
15 years 6 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
175
click to vote
BIB
2000
15 years 6 months ago
2000
Much of biology works by applying prior knowledge (`what is known') to an unknown entity, rather than the application of a set of axioms that will elicit knowledge. In additi...
128
click to vote
BIOINFORMATICS
2000
15 years 6 months ago
2000
Motivation: Net Nearest Neighbor Analysis (NNNA) measures a previously unexamined aspect of dinucleotide frequency--the non-compensated, non-repetitive dinucleotides in a sequence...
193
click to vote
CACM
2000
15 years 6 months ago
2000
The KidsRoom is a perceptually-based, interactive, narrative playspace for children. Images, music, narration, light, and sound effects are used to transform a normal child's...
191
click to vote
CACM
2000
15 years 6 months ago
2000
One important class of Data Mining applications is the so-called "Web Mining" that analyzes and extracts important and non-trivial knowledge from Web related data. Typic...