33 search results - page 4 / 7 » bell 2000 |
BELL
2000
13 years 9 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...
ACSC
2000
IEEE
14 years 2 months ago
2000
IEEE
Science shows are commonly presented for the general public, and especially children, at science centers and festivals. Usually they use attention-grabbing experiments from the ph...
COMBINATORICS
2000
13 years 9 months ago
2000
Let An denote the number of objects of some type of "size" n, and let Cn denote the number of these objects which are connected. It is often the case that there is a rel...
ANLP
1997
13 years 11 months ago
1997
We describe the name analysis and pronunciation component in the German version of the Bell Labs multilingual text-tospeech system. We concentrate on street names because they enc...
COMBINATORICS
2000
13 years 9 months ago
2000
Let n be the fraction of structures of size" n which are connected"; e.g., a the fraction of labeled or unlabeled n-vertex graphshavingone component, b the fraction of p...