639 search results - page 87 / 128 » Efficiency Based Feedback Reduction |
102
Voted
IJISEC
2008
15 years 17 days ago
2008
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...
94
Voted
TASLP
2008
15 years 14 days ago
2008
Wireless networks introduce brand new opportunities for music delivery. The trend of using mobile devices in wireless networks, can significantly extent the recent change of paradi...
101
Voted
AUTOMATICA
2005
15 years 14 days ago
2005
This paper presents a computational approach for the frequency-domain identification of multivariable, discrete-time transfer function models based on a cost function minimization...
133
Voted
IWPEC
2010
Springer
14 years 10 months ago
2010
Springer
RANK AGGREGATION is important in many areas ranging from web search over databases to bioinformatics. The underlying decision problem KEMENY SCORE is NP-complete even in case of fo...
102
Voted
EDM
2009
14 years 10 months ago
2009
In Cognitive Tutors, student skill is represented by estimates of student knowledge on various knowledge components. The estimate for each knowledge component is based on a four-pa...