293 search results - page 35 / 59 » Towards an Automatic Modeling Tool for Observed System Behav... |
AIED
2009
Springer
14 years 3 months ago
2009
Springer
We developed a new model for iList, our system that helps students learn linked list. The model is automatically extracted from past student data, and allows iList to track student...
FTCS
1998
13 years 10 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
TCSV
2008
13 years 8 months ago
2008
Wedding is one of the most important ceremonies in our lives. It symbolizes the birth and creation of a new family. In this paper, we present a system for automatically segmenting ...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
Many recent works that study the impact of spatial correlation on the performance of multi-input multi-output (MIMO) systems assume a separable (also known as the Kronecker) model...
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
— Security breaches and attacks are critical problems in today’s networking. A key-point is that the security of each host depends not only on the protection strategies it choo...