Sciweavers

2657 search results - page 185 / 532
» On the complexity of hierarchical problem solving
Sort
View
MOBIHOC
2009
ACM
15 years 6 months ago
A state-based battery model for nodes' lifetime estimation in wireless sensor networks
We address the problem of estimating the remaining energy of a node battery in wireless sensor networks. To solve this issue, we provide an on-line battery model that requires lim...
Joseph Rahmé, Khaldoun Al Agha
IBERAMIA
1998
Springer
15 years 6 months ago
Searching the World Wide Web: Challenges and Partial Solutions
In this article we analyze the problem of searching the WWW, giving some insight and models to understand its complexity. Then we survey the two main current techniques used to se...
Ricardo A. Baeza-Yates
IJFCS
2007
80views more  IJFCS 2007»
15 years 1 months ago
Bisimulation Minimization of Tree Automata
We extend an algorithm by Paige and Tarjan that solves the coarsest stable refinement problem to the domain of trees. The algorithm is used to minimize non-deterministic tree auto...
Parosh Aziz Abdulla, Johanna Högberg, Lisa Ka...
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 6 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
TON
2010
125views more  TON 2010»
14 years 8 months ago
Computational analysis and efficient algorithms for micro and macro OFDMA downlink scheduling
OFDMA is one of the most important modulation and access methods for the future mobile networks. Before transmitting a frame on the downlink, an OFDMA base station has to invoke an...
Reuven Cohen, Liran Katzir