4609 search results - page 159 / 922 » Automatic Generation of Sigma-Protocols |
173
click to vote
CODES
2007
IEEE
16 years 23 days ago
2007
IEEE
This paper proposes a low power VLIW processor generation method by automatically extracting non-redundant activation conditions of pipeline registers for clock gating. It is impo...
153
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A description of a novel domain-independent framework that automatically generates and fades scaffolding supports for task-oriented learning within exploratory environmen...
178
click to vote
CSL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We show how to automatically generate analytic hypersequent calculi for a large class of logics containing the linearity axiom (lin) (A ⊃ B) ∨ (B ⊃ A) starting from...
152
click to vote
EACL
2006
ACL Anthology
15 years 7 months ago
2006
ACL Anthology
We consider the evaluation problem in Natural Language Generation (NLG) and present results for evaluating several NLG systems with similar functionality, including a knowledge-ba...
169
click to vote
FPL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Layout tools for FPGAs can typically be run in two different modes: non-timing-driven and timing-driven. Non-timing-driven mode produces a solution quickly, without consi...