1128 search results - page 113 / 226 » Classical Natural Deduction |
87
Voted
ICIP
2005
IEEE
15 years 6 months ago
2005
IEEE
One of the key aspects in 3D-image registration is the computation of the joint intensity histogram. We propose a new approach to compute this histogram using uniformly distribute...
IPPS
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract— The increasing use of electronics in the automotive and avionic domain has lead to dramatic improvements with respect to functionality, safety, and cost. However, with ...
111
Voted
ISIPTA
2005
IEEE
15 years 6 months ago
2005
IEEE
When considering sampling models described by a distribution from an exponential family, it is possible to create two types of imprecise probability models. One is based on the co...
103
Voted
ICAIL
2005
ACM
15 years 6 months ago
2005
ACM
We describe a set of experiments using machine learning techniques for the task of extractive summarisation. The research is part of a summarisation project for which we use a cor...
131
Voted
COCO
2005
Springer
15 years 6 months ago
2005
Springer
Refereed games are interactive proof systems with two competing provers: one that tries to convince the verifier to accept and another that tries to convince the verifier to rej...