Sciweavers

8512 search results - page 85 / 1703
» Computing Theory With Relevance
Sort
View
CCR
2002
111views more  CCR 2002»
13 years 8 months ago
A taxonomy and design considerations for Internet accounting
Economic principles are increasingly being suggested for addressing some complex issues related to distributed resource allocation for QoS (Quality of Service) enhancement. Many p...
Michel Kouadio, Udo W. Pooch
NDJFL
2002
74views more  NDJFL 2002»
13 years 7 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...
LREC
2010
238views Education» more  LREC 2010»
13 years 9 months ago
Context Fusion: The Role of Discourse Structure and Centering Theory
Questions are not asked in isolation. Their context, viz. the preceding interactions, might be of help to understand them and retrieve the correct answer. Previous research in Int...
Raffaella Bernardi, Manuel Kirschner, Zorana Ratko...
JELIA
2004
Springer
14 years 1 months ago
Combining Decision Procedures for Sorted Theories
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
Cesare Tinelli, Calogero G. Zarba
CLIN
2004
13 years 9 months ago
Query-Based Summarization using Rhetorical Structure Theory
Research on Question Answering is focused mainly on classifying the question type and finding the answer. Presenting the answer in a way that suits the user's needs has recei...
Wauter Bosma