17450 search results - page 3071 / 3490 » Numerical Methods with Applications |
171
click to vote
DIMACS
1996
15 years 8 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...
181
click to vote
FTCS
1996
15 years 8 months ago
1996
This paper presents a benchmark for dependablesystems. The benchmark consists of two metrics, number of catastrophic incidents and performance degradation, which are obtained by a...
187
click to vote
AAAI
1992
15 years 8 months ago
1992
An intelligent agent uses known facts, including statistical knowledge, to assign degrees of belief to assertions it is uncertain about. We investigate three principled techniques...
210
click to vote
AAAI
1992
15 years 8 months ago
1992
Effective problem-solving about complex engineered devices requires device models that are both adequate for the problem and computationally efficient . Producing such models requ...
164
click to vote
ANLP
1992
15 years 8 months ago
1992
When implementing computational lexicons it is important to keep in mind the texts that a NLP system must deal with. Words relate to each other in many different, often queer, way...