Sciweavers

101 search results - page 20 / 21
» Comparisons of Protein Family Dynamics
Sort
View
LFCS
2009
Springer
14 years 3 months ago
Completeness Results for Memory Logics
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
Carlos Areces, Santiago Figueira, Sergio Mera
AUSAI
2007
Springer
14 years 20 days ago
Advances in Local Search for Satisfiability
In this paper we describe a stochastic local search (SLS) procedure for finding satisfying models of satisfiable propositional formulae. This new algorithm, gNovelty+ , draws on th...
Duc Nghia Pham, John Thornton, Charles Gretton, Ab...
ERSA
2006
99views Hardware» more  ERSA 2006»
13 years 10 months ago
Low Power Programmable FIR Filtering IP Cores Targeting System-on-a-Reprogrammable-Chip (SoRC)
- This paper presents the design and implementation methodology of some low power programmable FIR filtering IP cores targeting SoRC and compares their performance in term of area,...
Muhammad Akhtar Khan, Abdul Hameed, Ahmet T. Erdog...
ECCV
2006
Springer
14 years 10 months ago
Specularity Removal in Images and Videos: A PDE Approach
We present a unified framework for separating specular and diffuse reflection components in images and videos of textured scenes. This can be used for specularity removal and for i...
Satya P. Mallick, Todd Zickler, Peter N. Belhumeur...
ALMOB
2008
160views more  ALMOB 2008»
13 years 8 months ago
Syntenator: Multiple gene order alignments with a gene-specific scoring function
Background: Identification of homologous regions or conserved syntenies across genomes is one crucial step in comparative genomics. This task is usually performed by genome alignm...
Christian Rödelsperger, Christoph Dieterich