Sciweavers

4276 search results - page 574 / 856
» Techniques for Empirical Validation
Sort
View
ACSAC
2009
IEEE
16 years 1 months ago
Symmetric Cryptography in Javascript
—We take a systematic approach to developing a symmetric cryptography library in Javascript. We study various strategies for optimizing the code for the Javascript interpreter, a...
Emily Stark, Michael Hamburg, Dan Boneh
ISBI
2009
IEEE
16 years 1 months ago
Cardiac Tissue and Erythrocyte Separation in Bright-Field Microscopy Images of the Embryonic Zebrafish Heart for Motion Estimati
Bright-field (BF) microscopy enables imaging the beating embryonic zebrafish heart at high frame rates, thereby revealing motion of both tissues that form the heart and red bloo...
Sandeep Bhat, Michael Liebling
DAC
2009
ACM
16 years 1 months ago
Variational capacitance extraction of on-chip interconnects based on continuous surface model
In this paper we present a continuous surface model to describe the interconnect geometric variation, which improves the currently used model for better accuracy while not increas...
Wenjian Yu, Chao Hu, Wangyang Zhang
AIED
2009
Springer
16 years 1 months ago
Student Knowledge Diagnosis Using Item Response Theory and Constraint-Based Modeling
One of the most popular student modeling techniques currently available is Constraint Based Modeling (CBM), which is based on Ohlsson's theory of learning from performance err...
Jaime Gálvez, Eduardo Guzmán, Ricard...
AIED
2009
Springer
16 years 1 months ago
Using Learning Decomposition to Analyze Instructional Effectiveness in the ASSISTment System
A basic question of instruction is how effective it is in promoting student learning. This paper presents a study determining the relative efficacy of different instructional conte...
Mingyu Feng, Neil T. Heffernan, Joseph E. Beck