4609 search results - page 83 / 922 » Automatic Generation of Sigma-Protocols |
156
click to vote
TVLSI
2008
15 years 6 months ago
2008
The proposed work involves conversion of a given circuit model into a set of constraints and employing constraint solvers to generate tests for it. The method is demonstrated for ...
156
click to vote
ACL
2009
15 years 4 months ago
2009
One of the basic problems of efficiently generating information-seeking dialogue in interactive question answering is to find the topic of an information-seeking question with res...
164
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Sign language is used for communicating to people with hearing difficulties. Recogntion of a sign language image sequence is challenging because of the variety of hand shapes and ...
145
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a framework for the automatic annotation of learning objects (LOs) with empirical usage metadata. Our implementation of the Intelligent Learning Object Guide (...
188
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...