Sciweavers

3082 search results - page 39 / 617
» its 2004
Sort
View
ICCSA
2004
Springer
14 years 28 days 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
CSFW
2004
IEEE
13 years 11 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...
ITS
2004
Springer
170views Multimedia» more  ITS 2004»
14 years 28 days 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
14 years 27 days 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
ITS
2004
Springer
84views Multimedia» more  ITS 2004»
14 years 28 days 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...