1489 search results - page 223 / 298 » The First Bug Report |
168
Voted
FASE
2011
Springer
14 years 8 months ago
2011
Springer
Given a program and an assertion in that program, determining if the assertion can fail is one of the key applications of program analysis. Symbolic execution is a well-known techn...
125
click to vote
IEEESP
2011
14 years 8 months ago
2011
Botnets, networks of malware-infected machines that are controlled by an adversary, are the root cause of a large number of security problems on the Internet. A particularly sophi...
135
Voted
NAR
2011
14 years 7 months ago
2011
Since its inception in 1994, The RNA Modification Database (RNAMDB, http://rna-mdb.cas.albany. edu/RNAmods/) has served as a focal point for information pertaining to naturally oc...
272
Voted
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
This demo presents a privacy-preserving aggregate location monitoring system, namely, TinyCasper, in which we can monitor moving objects in wireless sensor networks while preservi...
130
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
We present two theses in this paper: First, performance of most existing face recognition algorithms improves if instead of the whole image, smaller patches are individually class...