34 search results - page 2 / 7 » Towards higher impact argumentation |
CADE
2009
Springer
14 years 5 months ago
2009
Springer
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...
COMPSAC
2002
IEEE
13 years 10 months ago
2002
IEEE
Organisations that follow the CMM-road towards software process improvement tend to spend large amounts of money and effort. This is certainly the case in the company ING which le...
HICSS
2008
IEEE
13 years 11 months ago
2008
IEEE
Understanding knowledge transfer using computer-mediated context is becoming essential given that organizations are spread more and more globally. In this paper, we adopt elaborat...
ICRA
2005
IEEE
13 years 11 months ago
2005
IEEE
– The growing demand for technological innovation to enable empowerment of developing communities requires new and creative educational initiatives. Thus, well designed higher ed...
BIRTHDAY
2009
Springer
13 years 6 months ago
2009
Springer
This article presents the evaluation of a valence dictionary for Polish produced with the help of shallow parsing techniques and compares those results to earlier results involving...