1495 search results - page 119 / 299 » Volumetric Data Analysis using Morse-Smale Complexes |
ISSTA
2010
ACM
14 years 4 days ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
GLOBECOM
2006
IEEE
14 years 4 months ago
2006
IEEE
Pulsed OFDM (P-OFDM) is a proposed enhancement to Multi-Band Orthogonal Frequency Division Multiplexing which reduces the power and complexity of Ultra Wideband transceivers witho...
IAT
2008
IEEE
14 years 4 months ago
2008
IEEE
Knowledge gathering and investigative tasks in open environments can be very complex because the problemsolving context is constantly evolving, and the data may be incomplete, unr...
BMCBI
2011
13 years 5 months ago
2011
Background: Computational analysis of metagenomes requires the taxonomical assignment of the genome contigs assembled from DNA reads of environmental samples. Because of the diver...
FC
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. For the homomorphic Paillier cryptosystem we construct a protocol for secure modulo reduction, that on input of an encryption x with x of bit length x and a public ‘mod...