Sciweavers

89 search results - page 18 / 18
» Fast Algorithm for Nearest Neighbor Search Based on a Lower ...
Sort
View
ICGI
2010
Springer
13 years 2 months ago
Exact DFA Identification Using SAT Solvers
Abstract. We present an exact algorithm for identification of deterministic finite automata (DFA) which is based on satisfiability (SAT) solvers. Despite the size of the low level ...
Marijn J. H. Heule, Sicco Verwer
MOBICOM
2005
ACM
13 years 10 months ago
Characterizing the capacity region in multi-radio multi-channel wireless mesh networks
Next generation fixed wireless broadband networks are being increasingly deployed as mesh networks in order to provide and extend access to the internet. These networks are chara...
Murali S. Kodialam, Thyaga Nandagopal
BMCBI
2006
108views more  BMCBI 2006»
13 years 4 months ago
RibAlign: a software tool and database for eubacterial phylogeny based on concatenated ribosomal protein subunits
Background: Until today, analysis of 16S ribosomal RNA (rRNA) sequences has been the de-facto gold standard for the assessment of phylogenetic relationships among prokaryotes. How...
Hanno Teeling, Frank Oliver Glöckner
SSD
2001
Springer
120views Database» more  SSD 2001»
13 years 9 months ago
On Multi-way Spatial Joins with Direction Predicates
Spatial joins are fundamental in spatial databases. Over the last decade, the primary focus of research has been on joins with the predicate “region intersection.” In modern da...
Hongjun Zhu, Jianwen Su, Oscar H. Ibarra