Sciweavers

570 search results - page 55 / 114
» How to Evaluate Models of User Affect
Sort
View
159
Voted
LPAR
2010
Springer
15 years 2 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
145
Voted
IEEESCC
2010
IEEE
15 years 6 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í...
120
Voted
CIKM
2010
Springer
15 years 2 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
200
Voted
VLDB
2007
ACM
95views Database» more  VLDB 2007»
16 years 4 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»
15 years 9 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