6941 search results - page 1153 / 1389 » Testing as a Certification Approach |
138
Voted
DIMACS
1996
15 years 6 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
109
click to vote
ISMB
1994
15 years 6 months ago
1994
Adaptive resonance theory (ART)describes a class of artificial neural networkarchitectures that act as classification tools whichself-organize, workin realtime, and require no ret...
128
click to vote
ISMB
1993
15 years 6 months ago
1993
This paper presents results from an ongoing effort in applying a variety of induction-based methods to the problem of predicting the biological activity of noncongeneric (structu...
129
Voted
ISMB
1993
15 years 6 months ago
1993
Withthe advent of the HumanGenomeProject. the ability to rapidly construct comprehensiveand accuratelinkage mapsbasedongenetic markerdata fromfamily studies is an absolute necessi...
136
click to vote
NAACL
1994
15 years 6 months ago
1994
We attemped to improve recognition accuracy by reducing the inadequacies of the lexicon and language model. Specifically we address the following three problems: (1) the best size...