Sciweavers

811 search results - page 20 / 163
» Flow Theory: An Enhancement
Sort
View
AIED
2007
Springer
14 years 3 months ago
Standard-Compliant Scenario Building with Theoretical Justification in a Theory-Aware Authoring Tool
Nowadays standard technologies play important roles in enhancing sharability, reusability and interoperability of learning contents. However, there is a lack of pedagogical justifi...
Yusuke Hayashi, Jacqueline Bourdeau, Riichiro Mizo...
BIOSIG
2003
136views Biometrics» more  BIOSIG 2003»
13 years 10 months ago
Virtual PIN: Biometric Encryption Using Coding Theory
: A new biometric system is proposed which replaces the template match known from presently used biometric systems by a more powerful approach that uses error tolerant coding. This...
Ullrich Martini, Stephan Beinlich
CORR
2006
Springer
81views Education» more  CORR 2006»
13 years 9 months ago
Multivariate Integral Perturbation Techniques - I (Theory)
We present a quasi-analytic perturbation expansion for multivariate N dimensional Gaussian integrals. The perturbation expansion is an infinite series of lower-dimensional integra...
Jan W. Dash
JAR
2007
83views more  JAR 2007»
13 years 8 months ago
Theory Extension in ACL2(r)
ACL2(r) is a modified version of the theorem prover ACL2 that adds support for the irrational numbers using non-standard analysis. It has been used to prove basic theorems of anal...
Ruben Gamboa, John R. Cowles
ISCC
2006
IEEE
109views Communications» more  ISCC 2006»
14 years 3 months ago
A Call Level Adaptive Bandwidth Allocation Scheme Based on Lyapunov Control Theory
— In this paper, we propose an adaptive capacity allocation scheme at the call level for a blocked call cleared loss system. The scheme aims to maintain the connection blocking p...
Hesham Bin-Abbas, David Tipper