7228 search results - page 1151 / 1446 » From Algorithmic to Subjective Randomness |
C3S2E
2010
ACM
15 years 7 days ago
2010
ACM
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
74
Voted
CIVR
2008
Springer
15 years 7 days ago
2008
Springer
We have developed an interactive video search system that allows the searcher to rapidly assess query results and easily pivot off those results to form new queries. The system i...
88
Voted
HPDC
2010
IEEE
15 years 6 days ago
2010
IEEE
Modern scientific experiments can generate hundreds of gigabytes to terabytes or even petabytes of data that may furthermore be maintained in large numbers of relatively small fil...
HPDC
2010
IEEE
15 years 6 days ago
2010
IEEE
Automated analysis of unstructured text documents (e.g., web pages, newswire articles, research publications, business reports) is a key capability for solving important problems ...
112
click to vote
GECCO
2008
Springer
15 years 6 days ago
2008
Springer
The choice of an appropriate hardware representation model is key to successful evolution of digital circuits. One of the most popular models is cartesian genetic programming, whi...