747 search results - page 34 / 150 » An Alternative Representation for QBF |
117
click to vote
SACRYPT
2009
Springer
15 years 8 months ago
2009
Springer
The Feedback with Carry Shift Registers (FCSRs) have been proposed as an alternative to Linear Feedback Shift Registers (LFSRs) for the design of stream ciphers. FCSRs have good st...
106
click to vote
ICML
1994
IEEE
15 years 5 months ago
1994
IEEE
This paper presents an approach to automatic discovery of functions in Genetic Programming. The approach is based on discovery of useful building blocks by analyzing the evolution...
121
click to vote
DBPL
2007
Springer
15 years 8 months ago
2007
Springer
Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step tow...
122
click to vote
CORR
2012
Springer
13 years 9 months ago
2012
Springer
Traditional economic models typically treat private information, or signals, as generated from some underlying state. Recent work has explicated alternative models, where signals ...
111
click to vote
CHI
2009
ACM
16 years 2 months ago
2009
ACM
Graphs are often visualized using node-link representations: vertices are depicted as dots, edges are depicted as (poly)lines connecting two vertices. A directed edge running from...