3690 search results - page 300 / 738 » Computation with classical sequents |
143
click to vote
ISIPTA
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper we adopt the geometric approach to the theory of evidence to study the geometric counterparts of the plausibility functions, or upper probabilities. The computation ...
134
click to vote
SIBGRAPI
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we compare two distinct primal sketch feature extraction operators: one based on neural network feature learning and the other based on mathematical models of the f...
138
click to vote
GROUP
2003
ACM
15 years 10 months ago
2003
ACM
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge ...
141
click to vote
PODC
2003
ACM
15 years 10 months ago
2003
ACM
Routing topologies for distributed hashing in peer-to-peer networks are classified into two categories: deterministic and randomized. A general technique for constructing determi...
121
click to vote
BIRTHDAY
2003
Springer
15 years 10 months ago
2003
Springer
In this paper we present the concepts of drawn symbolic picture and symbolic picture. Such notions have been conceived as an extension of the concept of drawn pictures which was i...