1844 search results - page 83 / 369 » Algorithms to Improve Performance of Natural Language Interf... |
FROCOS
2009
Springer
14 years 3 months ago
2009
Springer
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...
KDD
2006
ACM
14 years 9 months ago
2006
ACM
Long-term search history contains rich information about a user's search preferences. In this paper, we study statistical language modeling based methods to mine contextual i...
ASPLOS
1992
ACM
14 years 1 months ago
1992
ACM
Software-controlled data prefetching is a promising technique for improving the performance of the memory subsystem to match today's high-performance processors. While prefet...
ICMI
2009
Springer
14 years 3 months ago
2009
Springer
This paper presents a system for the automatic detection of agreements in multi-party conversations. We investigate various types of features that are useful for identifying agree...
KBSE
2008
IEEE
14 years 3 months ago
2008
IEEE
Requirements analysis is an important phase in a software project. Automatic evaluation of Natural Language (NL) requirements documents has been proposed as a means to improve the...