1092 search results - page 72 / 219 » Do summaries help |
165
Voted
ENTCS
2006
15 years 4 months ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...
150
Voted
COMCOM
2007
15 years 4 months ago
2007
In these years, the security problem becomes more important to everyone using computers. However, vulnerabilities on computers are found so frequently that system managers can not...
140
Voted
JCB
2002
15 years 4 months ago
2002
We describe a new algorithm for protein classi cation and the detection of remote homologs. The rationale is to exploit both vertical and horizontal information of a multiple alig...
219
click to vote
FOCS
2010
IEEE
15 years 2 months ago
2010
IEEE
Boosting is a general method for improving the accuracy of learning algorithms. We use boosting to construct improved privacy-preserving synopses of an input database. These are da...
148
click to vote
DAC
2005
ACM
15 years 6 months ago
2005
ACM
For the past 25 years, the EDA industry has played a major role in the growth of the semiconductor industry, providing tools and services that have helped companies develop electr...