2635 search results - page 193 / 527 » Computing multihomogeneous resultants using straight-line pr... |
133
Voted
MM
2009
ACM
15 years 5 months ago
2009
ACM
Content Based Image Retrieval (CBIR) has become one of the most active research areas in computer science. Relevance feedback is often used in CBIR systems to bridge the semantic ...
DSN
2004
IEEE
15 years 4 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
CPHYSICS
2008
15 years 27 days ago
2008
We present wannier90, a program for calculating maximally-localised Wannier functions (MLWF) from a set of Bloch energy bands that may or may not be attached to or mixed with othe...
122
Voted
BMCBI
2011
14 years 7 months ago
2011
Background: With continuing identification of novel structured noncoding RNAs, there is an increasing need to create schematic diagrams showing the consensus features of these mol...
110
Voted
ACSAC
2002
IEEE
15 years 5 months ago
2002
IEEE
Safe virtual execution (SVE) allows a host computer system to reduce the risks associated with running untrusted programs. SVE prevents untrusted programs from directly accessing ...