3066 search results - page 595 / 614 » On Facilitating Automated Evaluation |
BIRTHDAY
1991
Springer
13 years 11 months ago
1991
Springer
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...
DAS
2010
Springer
13 years 11 months ago
2010
Springer
We describe a component of a document analysis system for constructing ontologies for domain-specific web tables imported into Excel. This component automates extraction of the Wa...
FLAIRS
2008
13 years 10 months ago
2008
One of the central problems in building broad-coverage story understanding systems is generating expectations about event sequences, i.e. predicting what happens next given some a...
ISSTA
2010
ACM
13 years 9 months ago
2010
ACM
Writing reliable software is difficult. It becomes even more difficult when writing scientific software involving floating-point numbers. Computers provide numbers with limite...
CF
2008
ACM
13 years 9 months ago
2008
ACM
Volunteer Computing (VC) is a paradigm that takes advantage of idle cycles from computing resources donated by volunteers and connected through the Internet to compute large-scale...