Sciweavers

4488 search results - page 24 / 898
» Properties of NP-Complete Sets
Sort
View
ICANN
2003
Springer
14 years 1 months ago
Optimizing Property Codes in Protein Data Reveals Structural Characteristics
We search for assignments of numbers to the amino acids (property codes) that maximize the autocorrelation function signal in given protein sequence data by an iterative method. Ou...
Olaf Weiss, Andreas Ziehe, Hanspeter Herzel
COCOON
2000
Springer
14 years 6 days ago
Parameterized Complexity of Finding Subgraphs with Hereditary Properties
We consider the parameterized complexity of the following problem under the framework introduced by Downey and Fellows[4]: Given a graph G, an integer parameter k and a non-trivial...
Subhash Khot, Venkatesh Raman
CORR
2006
Springer
103views Education» more  CORR 2006»
13 years 7 months ago
Expressing Security Properties Using Selective Interleaving Functions
McLean's notion of Selective Interleaving Functions (SIFs) is perhaps the bestknown attempt to construct a framework for expressing various security properties. We examine th...
Joseph Y. Halpern, Sabina Petride
DATE
2010
IEEE
204views Hardware» more  DATE 2010»
14 years 29 days ago
Assertion-based verification of RTOS properties
— Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) res...
Marcio F. S. Oliveira, Henning Zabel, Wolfgang M&u...
JMIV
2008
97views more  JMIV 2008»
13 years 7 months ago
Fusion Graphs: Merging Properties and Watersheds
Region merging methods consist of improving an initial segmentation by merging some pairs of neighboring regions. In this paper, we consider a segmentation as a set of connected r...
Jean Cousty, Gilles Bertrand, Michel Couprie, Laur...