Sciweavers

1350 search results - page 61 / 270
» Generalized Committed Choice
Sort
View
TCAD
2008
75views more  TCAD 2008»
15 years 4 months ago
Static Analysis of Transaction-Level Communication Models
We propose a methodology for the early estimation of communication implementation choices eftarting from an abstract transaction level system model (TLM). The reference version of ...
Giovanni Agosta, Francesco Bruschi, Donatella Sciu...
JELIA
2010
Springer
15 years 2 months ago
Parametrized Logic Programming
Traditionally, a logic program is built up to reason about atomic first-order formulas. The key idea of parametrized logic programming is that, instead of atomic first-order form...
Ricardo Gonçalves, José Júlio...
WWW
2005
ACM
16 years 4 months ago
Comparing relevance feedback algorithms for web search
We evaluate three different relevance feedback (RF) algorithms, Rocchio, Robertson/Sparck-Jones (RSJ) and Bayesian, in the context of Web search. We use a target-testing experimen...
Vishwa Vinay, Kenneth R. Wood, Natasa Milic-Frayli...
IUI
2006
ACM
15 years 10 months ago
Multimodal interaction styles for hypermedia adaptation
We explore the concept of interaction styles used to navigate through hypermedia systems. A demonstrator was built to conduct a user study with the objective of detecting whether ...
Ronnie Taib, Natalie Ruiz
SIGECOM
2005
ACM
93views ECommerce» more  SIGECOM 2005»
15 years 9 months ago
Ranking systems: the PageRank axioms
This paper initiates research on the foundations of ranking systems, a fundamental ingredient of basic e-commerce and Internet Technologies. In order to understand the essence and...
Alon Altman, Moshe Tennenholtz