Sciweavers

12946 search results - page 312 / 2590
» Natural Language Processing
Sort
View
CNL
2009
15 years 7 months ago
The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts
Abstract. This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation...
Marcos Cramer, Bernhard Fisseni, Peter Koepke, Dan...
NIPS
2008
15 years 8 months ago
Modeling the effects of memory on human online sentence processing with particle filters
Language comprehension in humans is significantly constrained by memory, yet rapid, highly incremental, and capable of utilizing a wide range of contextual information to resolve ...
Roger P. Levy, Florencia Reali, Thomas L. Griffith...
SIGMOD
2007
ACM
157views Database» more  SIGMOD 2007»
16 years 6 months ago
DaNaLIX: a domain-adaptive natural language interface for querying XML
We present DaNaLIX, a prototype domain-adaptive natural language interface for querying XML. Our system is an extension of NaLIX, a generic natural language interface for querying...
Yunyao Li, Ishan Chaudhuri, Huahai Yang, Satinder ...
SOUPS
2006
ACM
16 years 20 days ago
An empirical study of natural language parsing of privacy policy rules using the SPARCLE policy workbench
Today organizations do not have good ways of linking their written privacy policies with the implementation of those policies. To assist organizations in addressing this issue, ou...
Carolyn Brodie, Clare-Marie Karat, John Karat
ACL
1998
15 years 8 months ago
Natural Language Access to Software Applications
This paper reports on the ESPRIT project MELISSA (Methods and Tools for NaturalLanguage Interfacing with Standard Software
Paul Schmidt, Sibylle Rieder, Axel Theofilidis, Ma...