11172 search results - page 792 / 2235 » Testing Physical Systems |
235
click to vote
ACL
2010
15 years 5 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...
189
click to vote
ECLIPSE
2004
ACM
16 years 1 months 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 ...
202
click to vote
CADE
1998
Springer
15 years 12 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...
214
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...
256
click to vote
SPEECH
2011
15 years 2 months ago
2011
This paper first introduces a newly-recorded high quality Romanian speech corpus designed for speech synthesis, called “RSS”, along with Romanian front-end text processing mo...