1456 search results - page 109 / 292 » Two Techniques to Improve Finite Model Search |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Collaborative beamforming (CB) is a power efficient method for data communications in wireless sensor networks (WSNs) which aims at increasing the transmission range in the network...
SARA
2007
Springer
14 years 2 months ago
2007
Springer
Though there exist some rules of thumb for design of good models for solving constraint satisfaction problems, the modeling process still belongs more to art than to science. Moreo...
JSS
2010
13 years 2 months ago
2010
In this paper we investigate the effect of three time-triggered system rejuvenation policies on service availability using a queuing model. The model is formulated as an extended ...
BMCBI
2007
13 years 8 months ago
2007
Background: BLAST searches are widely used for sequence alignment. The search results are commonly adopted for various functional and comparative genomics tasks such as annotating...
INFOCOM
2003
IEEE
14 years 1 months ago
2003
IEEE
— The success of a P2P file-sharing network highly depends on the scalability and versatility of its search mechanism. Two particularly desirable search features are scope (abil...