3134 search results - page 200 / 627 » Computing full disjunctions |
99
Voted
WCNC
2008
IEEE
15 years 10 months ago
2008
IEEE
—This paper proposes the use of group-orthogonal frequency diversity combined with space-time block coding (STBC) to improve the performance of IEEE 802.11n wireless networks (WL...
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
— The inferencing stage of a type-2 fuzzy inferencing system is driven by join and meet operations. As conventionally implemented these algorithms are computationally complex. Th...
136
Voted
ICDM
2007
IEEE
15 years 10 months ago
2007
IEEE
Privacy-preserving data mining (PPDM) techniques aim to construct efficient data mining algorithms while maintaining privacy. Statistical disclosure limitation (SDL) techniques a...
144
click to vote
SAINT
2007
IEEE
15 years 10 months ago
2007
IEEE
While by now feasible solutions to protect privacy for complex ubiquitous applications are available, very small devices, called context transponders (CTP) still lack resources to...
150
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...