681 search results - page 59 / 137 » Combining Theorem Proving with Natural Language Processing |
IALP
2010
14 years 4 months ago
2010
With more and more reviews on the web, browsing through a mass of the related reviews becomes a heavy work. How to effectively analyzing and organizing these reviews attracts more...
AIIA
1991
Springer
15 years 1 months ago
1991
Springer
Multimodal interfaces combining, e.g., natural language and graphics take advantage of both the individual strength of each communication mode and the fact that several modes can ...
101
Voted
CICLING
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. One question that arises if we want to evolve generation techniques to accommodate Web ontologies is how to capture and expose the relevant ontology content to the user. ...
115
click to vote
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. We propose a dynamic process for network evolution, aiming at explaining the emergence of the small world phenomenon, i.e., the statistical observation that any pair of i...
ASIAN
1998
Springer
15 years 2 months ago
1998
Springer
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...