1117 search results - page 158 / 224 » Equivalent Representations of Set Functions |
115
click to vote
GRAPHICSINTERFACE
2011
14 years 1 months ago
2011
In traditional graphical user interfaces, the majority of UI elements are hidden to the user in the default view. Application designers and users desire more space for their appli...
OSDI
2008
ACM
15 years 10 months ago
2008
ACM
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive prog...
TAMC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Kernelizations are an important tool in designing fixed parameter algorithms for parameterized decision problems. We introduce an analogous notion for counting problems,...
CORR
2002
Springer
14 years 9 months ago
2002
Springer
Abstract. We implement Groenendijk and Stokhof's partition semantics of questions in a simple question answering algorithm. The algorithm is sound, complete, and based on tabl...
DAM
1999
14 years 9 months ago
1999
The autocorrelation function of a sequence is a measure for how much the given sequence di ers from its translates. Periodic binary sequences with good correlation properties have...