324 search results - page 25 / 65 » What's in a Step |
AH
2008
Springer
14 years 1 months ago
2008
Springer
The evolution of learning systems brought improvements to the functionality of their components by offering support and mediating learning, communication and collaboration. However...
ASPDAC
2005
ACM
14 years 29 days ago
2005
ACM
— Quantum-dot Cellular Automata (QCA) is a novel computing mechanism that can represent binary information based on spatial distribution of electron charge configuration in chem...
ESOP
2008
Springer
14 years 23 days ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
EACL
2010
ACL Anthology
14 years 13 days ago
2010
ACL Anthology
One major aim of research in affective natural language generation is to be able to use language intelligently to induce effects on the emotions of the reader/ hearer. Although va...
IFIP11
2004
14 years 11 days ago
2004
This paper proposes a formal model of the Bellare-Rogaway type [1] that enables one to prove the security of an anonymous credential system in a complexity theoretic framework. Th...