3951 search results - page 787 / 791 » Automatic amortized analysis |
ICST
2011
IEEE
13 years 2 months ago
2011
IEEE
—Static analysis tools have been widely used to detect potential defects without executing programs. It helps programmers raise the awareness about subtle correctness issues in t...
FGR
2011
IEEE
13 years 2 months ago
2011
IEEE
Abstract— We propose here to acquire high resolution sequences of a person’s face using a pan-tilt-zoom (PTZ) network camera. This capability should prove helpful in forensic a...
NAR
2011
13 years 1 months ago
2011
The Munich Information Center for Protein Sequences (MIPS at the Helmholtz Center for Environmental Health, Neuherberg, Germany) has many years of experience in providing annotate...
NAR
2011
13 years 1 months ago
2011
The subcellular localization (SCL) of a microbial protein provides clues about its function, its suitability as a drug, vaccine or diagnostic target and aids experimental design. ...
NLE
2011
13 years 1 months ago
2011
Reciprocity is a pervasive concept that plays an important role in governing people’s behavior, judgments, and thus their social interactions. In this paper we present an analys...