2701 search results - page 9 / 541 » On the form of witness terms |
CI
2002
13 years 7 months ago
2002
We address long-term coalitions that are formed of both customer and vendor agents. We present a coalition formation mechanism designed at the agent level as a decision problem. Th...
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes two new bisimulation equivalences for the pure untyped call-by-value λ-calculus, called enf bisimilarity and enf bisimilarity up to η. They are based on eag...
ISBI
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper, we show that several well-known nonlinear surface registration algorithms can be put in an ICP-like framework, and thus boil down to the successive estimation of po...
ICDAR
2007
IEEE
14 years 1 months ago
2007
IEEE
A vector model based information retrieval of handwritten medical forms is presented in this paper. In order to improve the IR performance on the erroneous output of handwriting r...
ICTIR
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Most of the previous research on term weighting for information retrieval has focused on developing specialized parametric term weighting functions. Examples include TF.I...