Sciweavers

3320 search results - page 368 / 664
» Heuristics for the Phylogeny Problem
Sort
View
SIGARCH
2008
94views more  SIGARCH 2008»
15 years 6 months ago
Optimized on-chip pipelining of memory-intensive computations on the cell BE
Multiprocessors-on-chip, such as the Cell BE processor, regularly suffer from restricted bandwidth to off-chip main memory. We propose to reduce memory bandwidth requirements, and...
Christoph W. Kessler, Jörg Keller
SIAMCO
2000
138views more  SIAMCO 2000»
15 years 6 months ago
Adaptive Image Reconstruction Using Information Measures
We present a class of nonlinear adaptive image restoration filters which may be steered to preserve sharp edges and contrasts in the restorations. From a theoretical point of view ...
Ulrike Hermann, Dominikus Noll
INFORMATICALT
2010
103views more  INFORMATICALT 2010»
15 years 5 months ago
Formal Correctness Proof for DPLL Procedure
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veriļ...
Filip Maric, Predrag Janicic
LATINCRYPT
2010
15 years 5 months ago
A Lattice-Based Threshold Ring Signature Scheme
In this article, we propose a new lattice-based threshold ring signature scheme, modifying Aguilar’s code-based solution to use the short integer solution (SIS) problem as securi...
Pierre-Louis Cayrel, Richard Lindner, Markus R&uum...
OTM
2010
Springer
15 years 5 months ago
Identifying and Eliminating Inconsistencies in Mappings across Hierarchical Ontologies
Abstract. Many applications require the establishment of mappings between ontologies. Such mappings are established by domain experts or automated tools. Errors in mappings can int...
Bhavesh Sanghvi, Neeraj Koul, Vasant Honavar