Sciweavers

1059 search results - page 88 / 212
» Unification-Based Semantic Interpretation
Sort
View
77
Voted
WETICE
1995
IEEE
15 years 3 months ago
Subdocument invocation semantics in collaborative hyperdocuments
In this paper we informally explain a new Trellis model that incorporates colored tokens into the previouslydescribed timed-Petri-net-based de nition. We give examples of using Tr...
Richard Furuta, Jaime Navon, P. David Stotts
EMNLP
2008
15 years 29 days ago
Incorporating Temporal and Semantic Information with Eye Gaze for Automatic Word Acquisition in Multimodal Conversational System
One major bottleneck in conversational systems is their incapability in interpreting unexpected user language inputs such as out-ofvocabulary words. To overcome this problem, conv...
Shaolin Qu, Joyce Yue Chai
SYNTHESE
2008
88views more  SYNTHESE 2008»
14 years 11 months ago
Interpolation in computing science: the semantics of modularization
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...
Gerard R. Renardel de Lavalette
NDJFL
2002
74views more  NDJFL 2002»
14 years 11 months ago
The Semantics of Entailment Omega
This paper discusses the relation between the minimal positive relevant logic B+ and intersection and union type theories. There is a marvellous coincidence between these very diff...
Mariangiola Dezani-Ciancaglini, Robert K. Meyer, Y...
CBRMD
2010
69views more  CBRMD 2010»
14 years 10 months ago
Semantic Content Models in ARA
Abstract. Clinical research significantly contributes to the better understanding of diseases and their treatment. Physicians, however, could not take fully advantage of the result...
Nadezhda Govedarova, Sonja Niepage, Hans-Dieter Bu...