10907 search results - page 2095 / 2182 » Constraint Based Strategies |
CORR
2010
Springer
14 years 7 months ago
2010
Springer
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...
FOCM
2010
14 years 7 months ago
2010
This paper presents a numerical compression strategy for the boundary integral equation of acoustic scattering in two dimensions. These equations have oscillatory kernels that we ...
117
click to vote
CORR
2010
Springer
14 years 6 months ago
2010
Springer
Power management is one of the vital issue in wireless sensor networks, where the lifetime of the network relies on battery powered nodes. Transmitting at high power reduces the l...
117
click to vote
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—We consider the location service in a mobile adhoc network (MANET), where each node needs to maintain its location information in the network by (i) frequently updating ...
BMCBI
2010
14 years 4 months ago
2010
Background: Differential co-expression analysis is an emerging strategy for characterizing disease related dysregulation of gene expression regulatory networks. Given pre-defined ...