4609 search results - page 56 / 922 » Automatic Generation of Sigma-Protocols |
155
click to vote
ICDAR
2007
IEEE
15 years 6 months ago
2007
IEEE
Performance evaluation for document image analysis and understanding is a recurring problem. Many groundtruthed document image databases are now used to evaluate general algorithm...
173
click to vote
UAI
2007
15 years 6 months ago
2007
This paper introduces decision-theoretic planning techniques into automatic music generation. Markov decision processes (MDPs) are a mathematical model of planning under uncertain...
134
Voted
IFIP12
2009
15 years 2 months ago
2009
In this paper the tool TELIOS is presented, for the automatic generation of a hardware machine, corresponding to a given logic program. The machine is implemented using an FPGA, wh...
147
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
When a query is submitted to a search engine, the search engine returns a dynamically generated result page containing the result records, each of which usually consists of a link...
161
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: Since many of the new protein structures delivered by high-throughput processes do not have any known function, there is a need for structure-based prediction of prote...