12373 search results - page 170 / 2475 » Semi-Logarithmic Number Systems |
108
click to vote
CSL
2003
Springer
15 years 6 months ago
2003
Springer
Quantum computation deals with projective measurements and unitary transformations in finite dimensional Hilbert spaces. The paper presents a propositional logic designed to descr...
95
Voted
WAIM
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Broadcasting is a very effective technique to disseminate information to a massive number of clients when the data size is small. However, if the data size is large, the...
114
Voted
FMSD
2000
15 years 18 days ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...
109
Voted
DM
2002
15 years 17 days ago
2002
Let G be a planar embedded 2-connected graph. Then the vertices of its resonance graph R(G) are the 1-factors of G, two 1-factors being adjacent whenever their symmetric differenc...
VLDB
2002
ACM
15 years 13 days ago
2002
ACM
Deduplication, a key operation in integrating data from multiple sources, is a time-consuming, labor-intensive and domainspecific operation. We present our design of alias that us...