Sciweavers

323 search results - page 44 / 65
» Improving the Detection of Unknown Computer Worms Activity U...
Sort
View
ATVA
2006
Springer
153views Hardware» more  ATVA 2006»
14 years 12 days ago
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
Wonhong Nam, Rajeev Alur
AIED
2005
Springer
14 years 2 months ago
Engagement tracing: using response times to model student disengagement
Time on task is an important predictor for how much students learn. However, students must be focused on their learning for the time invested to be productive. Unfortunately, stude...
Joseph E. Beck
CCS
2006
ACM
14 years 12 days ago
Providing witness anonymity in peer-to-peer systems
In this paper, we introduce the concept of witness anonymity for peer-to-peer systems. Witness anonymity combines the seemingly conflicting requirements of anonymity (for honest p...
Bo Zhu, Sanjeev Setia, Sushil Jajodia
ISVC
2009
Springer
14 years 3 months ago
Probabilistic Facial Feature Extraction Using Joint Distribution of Location and Texture Information
Abstract. In this work, we propose a method which can extract critical points on a face using both location and texture information. This new approach can automatically learn featu...
Mustafa Berkay Yilmaz, Hakan Erdogan, Mustafa Unel
ICCV
2009
IEEE
13 years 6 months ago
Image annotation using multi-label correlated Green's function
Image annotation has been an active research topic in the recent years due to its potentially large impact on both image understanding and web/database image search. In this paper...
Hua Wang, Heng Huang, Chris H. Q. Ding