Sciweavers

3082 search results - page 39 / 617
» its 2004
Sort
View
95
Voted
ICCSA
2004
Springer
15 years 5 months ago
Practical Digital Signature Generation Using Biometrics
Abstract. It is desirable to generate a digital signature using biometrics but not practicable because of its inaccurate measuring and potential hill-climbing attacks, without usin...
Taekyoung Kwon, Jaeil Lee
102
Voted
CSFW
2004
IEEE
15 years 4 months ago
By Reason and Authority: A System for Authorization of Proof-Carrying Code
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
Nathan Whitehead, Martín Abadi, George C. N...
104
Voted
ITS
2004
Springer
170views Multimedia» more  ITS 2004»
15 years 5 months ago
Inducing Optimal Emotional State for Learning in Intelligent Tutoring Systems
Emotions play an important role in cognitive processes and specially in learning tasks. Moreover, there are some evidences that the emotional state of the learner correlated with h...
Soumaya Chaffar, Claude Frasson
PARA
2004
Springer
15 years 5 months ago
Scalable Middleware Environment for Agent-Based Internet Applications
The AgentScape middleware is designed to support deployment of agent-based applications on Internet-scale distributed systems. With the design of AgentScape, three dimensions of sc...
Benno J. Overeinder, Frances M. T. Brazier
81
Voted
ITS
2004
Springer
84views Multimedia» more  ITS 2004»
15 years 5 months ago
Web-Based Intelligent Multimedia Tutoring for High Stakes Achievement Tests
Abstract. We describe Wayang Outpost, a web-based ITS for the Math section of the Scholastic Aptitude Test (SAT). It has several distinctive features: help with multimedia animatio...
Ivon Arroyo, Carole R. Beal, Tom Murray, Rena Wall...