Sciweavers

570 search results - page 55 / 114
» How to Evaluate Models of User Affect
Sort
View
LPAR
2010
Springer
13 years 6 months ago
Labelled Unit Superposition Calculi for Instantiation-Based Reasoning
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...
Konstantin Korovin, Christoph Sticksel
IEEESCC
2010
IEEE
13 years 9 months ago
A Model for Visual Specification of E-contracts
Abstract--In a web service composition, an electronic contract (e-contract) regulates how the services participating in the composition should behave, including the restrictions th...
Enrique Martinez, Gregorio Díaz, Marí...
CIKM
2010
Springer
13 years 6 months ago
Term necessity prediction
The probability that a term appears in relevant documents ( ) is a fundamental quantity in several probabilistic retrieval models, however it is difficult to estimate without rele...
Le Zhao, Jamie Callan
VLDB
2007
ACM
95views Database» more  VLDB 2007»
14 years 8 months ago
Matching Twigs in Probabilistic XML
Evaluation of twig queries over probabilistic XML is investigated. Projection is allowed and, in particular, a query may be Boolean. It is shown that for a well-known model of pro...
Benny Kimelfeld, Yehoshua Sagiv
ERCIMDL
2003
Springer
109views Education» more  ERCIMDL 2003»
14 years 1 months ago
Clustering Top-Ranking Sentences for Information Access
Abstract. In this paper we propose the clustering of top-ranking sentences (TRS) for effective information access. Top-ranking sentences are selected by a query-biased sentence ex...
Anastasios Tombros, Joemon M. Jose, Ian Ruthven