45 search results - page 6 / 9 » Modeling Suppositions in Users' Arguments |
GRAPHICSINTERFACE
2003
13 years 8 months ago
2003
We present a critique of language-based modelling for text input research, and propose an alternative inputbased approach. Current language-based statistical models are derived fr...
DAGSTUHL
2010
13 years 9 months ago
2010
Computer support for intervention planning is a two-stage process: In a first stage, the relevant segmentation target structures are identified and delineated. In a second stage, ...
IJCNN
2007
IEEE
14 years 1 months ago
2007
IEEE
— Serious efforts to develop computerized systems for natural language understanding and machine translation have taken place for more than half a century. Some successful system...
KBSE
2009
IEEE
14 years 2 months ago
2009
IEEE
SEESAW combines AI search tools, a Monte Carlo simulator, and some software process models. We show here that, when selecting technologies for a software project, SEESAW out-perfo...
JAR
2010
13 years 2 months ago
2010
Based on inductive definitions, we develop a tool that automates the definition of partial recursive functions in higher-order logic (HOL) and provides appropriate proof rules for ...