3951 search results - page 13 / 791 » Automatic amortized analysis |
ENTCS
2006
13 years 9 months ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
ICIP
2004
IEEE
14 years 11 months ago
2004
IEEE
3D modeling of a free-form object involves the acquisition of multiple views (range images) of the object to cover its entire surface. These views are then registered in a common ...
JCS
2011
13 years 15 days ago
2011
Malicious software—so called malware—poses a major threat to the security of computer systems. The amount and diversity of its variants render classic security defenses ineffe...
EMNLP
2006
13 years 11 months ago
2006
We analyze humorous spoken conversations from a classic comedy television show, FRIENDS, by examining acousticprosodic and linguistic features and their utility in automatic humor...
TSP
2011
13 years 4 months ago
2011
—Radar high-resolution range profiles (HRRPs) are typical high-dimensional, non-Gaussian and interdimension dependently distributed data, the statistical modelling of which is a...