4609 search results - page 171 / 922 » Automatic Generation of Sigma-Protocols |
153
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
In document image understanding, public datasets with ground-truth are an important part of scientific work. They are not only helpful for developing new methods, but also provid...
164
click to vote
COOPIS
1998
IEEE
15 years 10 months ago
1998
IEEE
There is an increase in the number of data sources that can be queried across the WWW. Such sources typically support HTML forms-based interfaces and search engines query collecti...
193
click to vote
PRICAI
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents the CQ algorithm which decomposes and solves a Markov Decision Process (MDP) by automatically generating a hierarchy of smaller MDPs using state variables. The ...
176
click to vote
EXACT
2007
15 years 8 months ago
2007
In order to assist a power plant operator to face unusual situations, we have developed an intelligent assistant that explains the suggested commands generated by an MDP-based pla...
157
click to vote
GPCE
2008
Springer
15 years 7 months ago
2008
Springer
High-level query constructs help greatly improve the clarity of programs and the productivity of programmers, and are being introduced to increasingly more languages. However, the...