4609 search results - page 562 / 922 » Automatic Generation of Sigma-Protocols |
172
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
We explore how to support the creation of customized visualizations of ontology instance data through the specification of ontology mappings. We combine technologies from the dis...
154
Voted
EVOW
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper proposes a new knowledge-based method for clustering metagenome short reads. The method incorporates biological knowledge in the clustering process, by means o...
225
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
One of the important challenges when designing and analyzing cryptographic protocols is the enforcement of security properties in the presence of compromised participants. This pa...
181
click to vote
DDECS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Automatic Test Pattern Generation (ATPG) based on Boolean satisfiability (SAT) has been shown to be a beneficial complement to traditional ATPG techniques. Boolean solvers wor...
164
click to vote
ICALT
2009
IEEE
16 years 1 months ago
2009
IEEE
Formative feedback can provide information about how learners develop their competences in a knowledge domain. This information can determine learners’ progress and is essential...