5855 search results - page 992 / 1171 » Test generation and minimization with |
116
click to vote
BELL
2000
15 years 1 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...
133
click to vote
CLUSTER
2002
IEEE
15 years 1 months ago
2002
IEEE
The need to conduct and manage large sets of experiments for scientific applications dramatically increased over the last decade. However, there is still very little tool support ...
124
click to vote
JAR
2000
15 years 1 months ago
2000
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
133
click to vote
FUIN
2002
15 years 1 months ago
2002
Biological research is currently undergoing a revolution. With the advent of microarray technology the behavior of thousands of genes can be measured simultaneously. This capabilit...
CORR
1998
Springer
15 years 1 months ago
1998
Springer
This paper presents trainable methods for generating letter to sound rules from a given lexicon for use in pronouncing out-ofvocabulary words and as a method for lexicon compressi...