Sciweavers

33 search results - page 2 / 7
» Multiply-intersecting families revisited
Sort
View
ALGORITHMICA
2004
130views more  ALGORITHMICA 2004»
13 years 6 months ago
Diameter and Treewidth in Minor-Closed Graph Families, Revisited
Eppstein [5] characterized the minor-closed graph families for which the treewidth is bounded by a function of the diameter, which includes e.g. planar graphs. This characterizatio...
Erik D. Demaine, Mohammad Taghi Hajiaghayi
RECOMB
2005
Springer
14 years 6 months ago
Consensus Folding of Unaligned RNA Sequences Revisited
As one of the earliest problems in computational biology, RNA secondary structure prediction (sometimes referred to as "RNA folding") problem has attracted attention agai...
Vineet Bafna, Haixu Tang, Shaojie Zhang
ACISP
2007
Springer
14 years 13 days ago
Non-interactive Manual Channel Message Authentication Based on eTCR Hash Functions
We present a new non-interactive message authentication protocol in manual channel model (NIMAP, for short) using the weakest assumption on the manual channel (i.e. assuming the st...
Mohammad Reza Reyhanitabar, Shuhong Wang, Reihaneh...
CORR
2000
Springer
132views Education» more  CORR 2000»
13 years 6 months ago
Uniform semantic treatment of default and autoepistemic logics
We revisit the issue of epistemological and semantic foundations for autoepistemic and default logics, two leading formalisms in nonmonotonic reasoning. We develop a general seman...
Marc Denecker, Victor W. Marek, Miroslaw Truszczyn...