7167 search results - page 146 / 1434 » A Technique for Invariant Generation |
147
click to vote
FLAIRS
2003
15 years 7 months ago
2003
The goal of our work is to improve the Natural Language feedback provided by Intelligent Tutoring Systems. In this paper, we discuss how to make the content presented by one such ...
144
click to vote
ENGL
2007
15 years 6 months ago
2007
— In any information system, the reducts are useful in classifying data. Janusz Starzyk developed an algorithm for computing reducts using strong equivalence and the law of expan...
246
click to vote
SOSP
2009
ACM
16 years 3 months ago
2009
ACM
We present ClearView, a system for automatically patching errors in deployed software. ClearView works on stripped Windows x86 binaries without any need for source code, debugging...
191
click to vote
IEEEIAS
2007
IEEE
16 years 20 days ago
2007
IEEE
In this paper, a novel data hiding technique is proposed, as an improvement over the Fibonacci LSB data-hiding technique proposed by Battisti et al. [1]. First we mathematically m...
156
click to vote
ACSW
2006
15 years 7 months ago
2006
Today's Internet is extremely vulnerable to Distributed Denial of service (DDoS) attacks. There is tremendous pressure on the sites performing online business and ISP's ...