Sciweavers

2570 search results - page 469 / 514
» Fast Algorithms For The Computation Of Ranklets
Sort
View
C3S2E
2010
ACM
14 years 11 months ago
Scalable formula decomposition for propositional satisfiability
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
Anthony Monnet, Roger Villemaire
COMAD
2009
14 years 11 months ago
Epsilon Equitable Partition: A positional analysis method for large social networks
Positional analysis is considered an important tool in the analysis of social networks. It involves partitioning of the set of actors into subsets such that actors in a subset are...
Kiran Kate, Balaraman Ravindran
GCB
2008
Springer
174views Biometrics» more  GCB 2008»
14 years 11 months ago
Lightweight Comparison of RNAs based on Exact Sequence-structure Matches
: Specific functions of RNA molecules are often associated with different motifs in the RNA structure. The key feature that forms such an RNA motif is the combination of sequence ...
Steffen Heyne, Sebastian Will, Michael Beckstette,...
AMC
2007
134views more  AMC 2007»
14 years 10 months ago
An image fragile watermark scheme based on chaotic image pattern and pixel-pairs
Fragile watermarking techniques for digital content have been studied in the past few years. Fragile watermarks are used to determine if a piece of watermarked digital content has...
Shaohui Liu, Hongxun Yao, Wen Gao, Yongliang Liu
BIOSYSTEMS
2008
65views more  BIOSYSTEMS 2008»
14 years 10 months ago
The origin of autonomous agents by natural selection
We propose conditions in which an autonomous agent could arise, and increase in complexity. It is assumed that on the primitive Earth there arose a recycling flow-reactor containi...
Chrisantha Fernando, Jon Rowe