1699 search results - page 255 / 340 » On the Expressive Power of QLTL |
126
click to vote
AAECC
2007
Springer
16 years 7 days ago
2007
Springer
The split-radix FFT computes a size-n complex DFT, when n is a large power of 2, using just 4n lg n−6n+8 arithmetic operations on real numbers. This operation count was first an...
135
click to vote
ASIACRYPT
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. In the standard general-adversary model for multi-party protocols, a global adversary structure is given, and every party must trust in this particular structure. We intr...
132
click to vote
CONCUR
2007
Springer
16 years 7 days ago
2007
Springer
It is well known that bisimulation on µ-expressions cannot be finitely axiomatised in equational logic. Complete axiomatisations such as those of Milner and Bloom/´Esik necessar...
152
click to vote
GRID
2007
Springer
16 years 6 days ago
2007
Springer
— Replica exchange is a powerful sampling algorithm and can be effectively used for applications such as simulating the structure, function, folding, and dynamics of proteins and...
148
click to vote
ICDT
2007
ACM
16 years 6 days ago
2007
ACM
Abstract. We define and study formal privacy guarantees for information integration systems, where sources are related to a public schema by mappings given by source-to-target dep...