971 search results - page 162 / 195 » Approximate Satisfiability and Equivalence |
109
click to vote
INFOCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— We consider the scenario of distributed data aggregation in wireless sensor networks, where each sensor can obtain and estimate the information of the whole sensing fi...
113
click to vote
MOC
2011
14 years 6 months ago
2011
The simplest pair of spaces P1/P0 is made inf-sup stable for the mixed form of the Darcy equation. The key ingredient is enhance the finite element spaces inside a PetrovGalerkin ...
SIAMNUM
2011
14 years 6 months ago
2011
In this paper we prove the discrete compactness property for a wide class of p finite element approximations of non-elliptic variational eigenvalue problems in two and three spac...
127
click to vote
TMC
2011
14 years 6 months ago
2011
—Mission-driven sensor networks usually have special lifetime requirements. However, the density of the sensors may not be large enough to satisfy the coverage requirement while ...
119
click to vote
JAIR
2010
14 years 6 months ago
2010
In many AI domains such as product configuration, a user should interactively specify a solution that must satisfy a set of constraints. In such scenarios, offline compilation of ...