738 search results - page 96 / 148 » Prime Implicant Computation Using Satisfiability Algorithms |
107
click to vote
IJSNET
2007
14 years 9 months ago
2007
: Robustness and security of services like localisation, routing and time synchronisation in Wireless Sensor Networks (WSNs) have been critical issues. Efficient mathematical (gra...
TWC
2008
14 years 9 months ago
2008
In this paper, the problem of choosing constellation size and transmit power that minimizes the energy-per-goodbit in a frequency-flat, long-term static fading channel is considere...
XSYM
2010
Springer
14 years 8 months ago
2010
Springer
Keys for XML data trees can uniquely identify nodes based on the data values on some of their subnodes, either in the entire tree or relatively to some selected subtrees. Such keys...
GIS
2009
ACM
14 years 7 months ago
2009
ACM
We propose a location-based query anonymization technique, LBS (k,T)-anonymization, that ensures anonymity of user's query in a specific time window against what we call know...
CVPR
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper addresses the novel problem of automatically synthesizing an output image from a large collection of different input images. The synthesized image, called a digital tap...