1661 search results - page 48 / 333 » Advanced carving techniques |
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—Energy efficient communication is a key issue in wireless sensor networks. Common belief is that a multi-hop configuration is the only viable energy efficient technique. In t...
CGO
2005
IEEE
14 years 1 months ago
2005
IEEE
To improve performance and reduce power, processor designers employ advances that shrink feature sizes, lower voltage levels, reduce noise margins, and increase clock rates. Howev...
AAAI
2010
13 years 5 months ago
2010
Search based solvers for Quantified Boolean Formulas (QBF) have adapted the SAT solver techniques of unit propagation and clause learning to prune falsifying assignments. The tech...
ICLP
2007
Springer
14 years 1 months ago
2007
Springer
We propose a novel technique that maps decision problems in WS1S (weak monadic second-order logic with n successors) to the problem of query evaluation of Complex-value Datalog que...
HICSS
1996
IEEE
13 years 11 months ago
1996
IEEE
The recent enormous increase in the use of networked information access and on-line databases has led to more databases being available in languages other than English. The Center...