3690 search results - page 359 / 738 » Computation with classical sequents |
180
Voted
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
Fuzzy vectors were introduced as a description of imprecise quantities whose uncertainty originates from vagueness, not from a probabilistic model. Support functions are a classica...
164
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, an optimization for the classical statistical power estimation method is proposed. This technique is applied to the individual nodes. The optimization is based on t...
192
click to vote
EDBT
2000
ACM
15 years 10 months ago
2000
ACM
The management and query processing of one dimensional intervals is a special case of extended object handling. One dimensional intervals play an important role in temporal databa...
181
click to vote
FC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Several public key cryptosystems with additional homomorphic properties have been proposed so far. They allow to perform computation with encrypted data without the knowl...
166
Voted
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
First-order translations have recently been characterized as the maps computed by aperiodic single-valued nondeterministic finite transducers (NFTs). It is shown here that this ch...