8838 search results - page 91 / 1768 » Generalizing Domain Theory |
119
click to vote
STOC
2009
ACM
16 years 4 months ago
2009
ACM
We prove that for any positive integer k, there is a constant ck such that a randomly selected set of cknk log n Boolean vectors with high probability supports a balanced k-wise i...
147
click to vote
DAC
2007
ACM
16 years 4 months ago
2007
ACM
Abstract-- The PPV is a robust phase domain macromodel for oscillators. It has been proven to predict oscillators' responses correctly under small signal perturbations, and ca...
148
click to vote
SAT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A promising approach for model counting was recently introduced, which in theory requires the use of large random xor or parity constraints to obtain near-exact counts of...
146
Voted
ILP
2003
Springer
15 years 9 months ago
2003
Springer
This work presents the application of theory revision to the design of distributed databases to automatically revise a heuristic-based algorithm (called analysis algorithm) through...
115
Voted
IJVR
2008
15 years 3 months ago
2008
Based on contemporary Chaos and Complexity Theories, ImaginationTOOLSTM is an innovative Virtual Reality (VR) software architecture which, by means of an agent-based interface, end...