7766 search results - page 417 / 1554 » Testing Nondeterminate Systems |
157
click to vote
NN
2007
Springer
15 years 6 months ago
2007
Springer
An environmentally adaptive system for prediction of acoustic transmission loss (TL) in the atmosphere is developed in this paper. This system uses several back propagation neural...
211
click to vote
ACL
2010
15 years 4 months ago
2010
Most supervised language processing systems show a significant drop-off in performance when they are tested on text that comes from a domain significantly different from the domai...
178
click to vote
ECLIPSE
2004
ACM
16 years 7 days ago
2004
ACM
Much research has been done on techniques to teach students how to program. However, it is usually difficult to quantify exactly how students work. Instructors typically only see ...
180
click to vote
CADE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...
188
click to vote
AAAI
1990
15 years 8 months ago
1990
The probabilistic network technology is a knowledgebased technique which focuses on reasoning under uncertainty. Because of its well defined semantics and solid theoretical founda...