8874 search results - page 316 / 1775 » A New Implementation of Automath |
255
click to vote
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
Social bookmarking tools become more and more popular nowadays and tagging is used to organize information and allow users to recall or search the resources. Users need to type th...
204
click to vote
ACSAC
2010
IEEE
15 years 3 months ago
2010
IEEE
Heap spraying is an attack technique commonly used in hijacking browsers to download and execute malicious code. In this attack, attackers first fill a large portion of the victim...
201
Voted
BMCBI
2010
15 years 1 months ago
2010
Background: The Ensembl project produces updates to its comparative genomics resources with each of its several releases per year. During each release cycle approximately two week...
236
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: The Cell Ontology (CL) is an ontology for the representation of in vivo cell types. As biological ontologies such as the CL grow in complexity, they become increasingl...
181
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We examine the combination of two directions in the field of privacy concerning computations over distributed private inputs – secure function evaluation (SFE) and differential...