Sciweavers

12946 search results - page 393 / 2590
» Natural Language Processing
Sort
View
JOLLI
2006
78views more  JOLLI 2006»
15 years 6 months ago
A 'Natural Logic' inference system using the Lambek calculus
This paper develops an inference system for natural language within the `Natural Logic' paradigm as advocated by Van Benthem [11], S
Anna Zamansky, Nissim Francez, Yoad Winter
ICALP
2011
Springer
14 years 10 months ago
On the Semantics of Markov Automata
Markov automata describe systems in terms of events which may be nondeterministic, may occur probabilistically, or may be subject to time delays. We define a novel notion of weak ...
Yuxin Deng, Matthew Hennessy
FASE
2008
Springer
15 years 8 months ago
Engineering Service Oriented Applications: From StPowla Processes to SRML Models
Service Oriented Computing is a paradigm for developing software systems as the composition of a number of services. Services are loosely coupled entities, can be dynamically publi...
Laura Bocchi, Stephen Gorton, Stephan Reiff-Margan...
ISTA
2004
15 years 8 months ago
Evidential Paradigm and Intelligent Mathematical Text Processing
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...
Alexander V. Lyaletski, Anatoly E. Doroshenko, And...
IUI
2006
ACM
16 years 24 days ago
Towards intelligent QA interfaces: discourse processing for context questions
Question answering (QA) systems take users’ natural language questions and retrieve relevant answers from large repositories of free texts. Despite recent progress in QA researc...
Mingyu Sun, Joyce Y. Chai