Sciweavers

3104 search results - page 82 / 621
» Competence-Based EE-Learning: (How) Can We Implement It
Sort
View
TPHOL
1998
IEEE
15 years 8 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
167
Voted
DSD
2006
IEEE
135views Hardware» more  DSD 2006»
15 years 8 months ago
Hardware-Software Codesign of a Vector Co-processor for Public Key Cryptography
Until now, most cryptography implementations on parallel architectures have focused on adapting the software to SIMD architectures initially meant for media applications. In this ...
Jacques J. A. Fournier, Simon W. Moore
MST
2002
97views more  MST 2002»
15 years 4 months ago
Programmed Mutagenesis Is Universal
Programmed mutagenesis is a DNA computing system that uses cycles of DNA annealing, ligation, and polymerization to implement programatic rewriting of DNA sequences. We report that...
Julia Khodor, David K. Gifford
133
Voted
GW
2003
Springer
137views Biometrics» more  GW 2003»
15 years 9 months ago
Gestural Mind Markers in ECAs
We aim at creating Embodied Conversational Agents (ECAs) able to communicate multimodally with a user or with other ECAs. In this paper we focus on the Gestural Mind Markers, that ...
Isabella Poggi, Catherine Pelachaud, Emanuela Magn...
CSCW
2000
ACM
15 years 9 months ago
Explaining collaborative filtering recommendations
Automated collaborative filtering (ACF) systems predict a person’s affinity for items or information by connecting that person’s recorded interests with the recorded interests...
Jonathan L. Herlocker, Joseph A. Konstan, John Rie...