3690 search results - page 348 / 738 » Computation with classical sequents |
174
click to vote
ECSQARU
2005
Springer
16 years 10 days ago
2005
Springer
The Transferable Belief Model is a general framework for managing imprecise and uncertain information using belief functions. In this framework, the discounting operation allows to...
193
click to vote
EURONGI
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The literature on cross-layer protocols, protocol improvements, and design methodologies for wireless sensor networks (WSNs) is reviewed and a taxonomy is proposed. The c...
161
click to vote
FROCOS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
161
click to vote
GECCO
2005
Springer
16 years 10 days ago
2005
Springer
Feature extraction is a process that extracts salient features from observed variables. It is considered a promising alternative to overcome the problems of weight and structure o...
153
Voted
GFKL
2005
Springer
16 years 10 days ago
2005
Springer
Projection pursuit was originally introduced to identify structures in multivariate data clouds (Huber, 1985). The idea of projecting data to a lowdimensional subspace can also be ...