2607 search results - page 154 / 522 » Complete Functional Synthesis |
118
click to vote
ICML
2007
IEEE
16 years 4 months ago
2007
IEEE
Beam search is used to maintain tractability in large search spaces at the expense of completeness and optimality. We study supervised learning of linear ranking functions for con...
212
click to vote
POPL
2002
ACM
16 years 4 months ago
2002
ACM
An adaptive computation maintains the relationship between its input and output as the input changes. Although various techniques for adaptive computing have been proposed, they r...
123
click to vote
ICC
2009
IEEE
15 years 10 months ago
2009
IEEE
—We present a new family of tight lower and upper bounds on the Gaussian Q-function Q(x). It is first shown that, for any x, the integrand ϕ(θ; x) of the Craig representation ...
180
click to vote
WCRE
2008
IEEE
15 years 10 months ago
2008
IEEE
The new hybrid clone detection tool NICAD combines the strengths and overcomes the limitations of both textbased and AST-based clone detection techniques to yield highly accurate ...
135
click to vote
CTRSA
2007
Springer
15 years 10 months ago
2007
Springer
In 1999, two signature schemes based on the flexible RSA problem (a.k.a. strong RSA problem) were independently introduced: the Gennaro-Halevi-Rabin (GHR) signature scheme and the...