Sciweavers

3341 search results - page 577 / 669
» On Bounded Queries and Approximation
Sort
View
ICGI
2010
Springer
14 years 7 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
INFOCOM
2010
IEEE
14 years 7 months ago
On Computing Compression Trees for Data Collection in Wireless Sensor Networks
We address the problem of efficiently gathering correlated data from a wireless sensor network, with the aim of designing algorithms with provable optimality guarantees, and unders...
Jian Li, Amol Deshpande, Samir Khuller
ISAAC
2010
Springer
226views Algorithms» more  ISAAC 2010»
14 years 7 months ago
On Tractable Cases of Target Set Selection
We study the NP-complete TARGET SET SELECTION (TSS) problem occurring in social network analysis. Complementing results on its approximability and extending results for its restric...
André Nichterlein, Rolf Niedermeier, Johann...
PIMRC
2010
IEEE
14 years 7 months ago
Identifying boundaries of dominant regions dictating spectrum sharing opportunities for large secondary networks
An important parameter in determining a spectrum sharing opportunity is the level of interference power that secondary users may generate towards primary users. It is indicated in ...
Muhammad Aljuaid, Halim Yanikomeroglu
WAW
2010
Springer
270views Algorithms» more  WAW 2010»
14 years 7 months ago
Fast Katz and Commuters: Efficient Estimation of Social Relatedness in Large Networks
Abstract. Motivated by social network data mining problems such as link prediction and collaborative filtering, significant research effort has been devoted to computing topologica...
Pooya Esfandiar, Francesco Bonchi, David F. Gleich...