497 search results - page 66 / 100 » On combinations of local theory extensions |
102
click to vote
SMA
2009
ACM
15 years 8 months ago
2009
ACM
Over the last fifty years, there have been numerous efforts to develop from first principles a comprehensive discrete formulation of geometric physics, including Whitney’s ge...
210
click to vote
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
A statistical database (StatDB) retrieves only aggregate results, as opposed to individual tuples. This paper investigates the construction of a privacy preserving StatDB that can...
126
click to vote
DCC
2005
IEEE
16 years 1 months ago
2005
IEEE
Minimum-entropy decoding is a universal decoding algorithm used in decoding block compression of discrete memoryless sources as well as block transmission of information across di...
112
click to vote
TACAS
2010
Springer
15 years 9 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
— While the frequency-dependence of the wireless channel may be negligible for narrow to wideband signals, it has been shown that modeling this dependence for bandwidths in exces...