1199 search results - page 5 / 240 » Automated Extraction of Problem Structure |
DAC
2008
ACM
15 years 10 months ago
2008
ACM
In this paper we present an efficient algorithm for extracting the complete statistical distribution of the input impedance of interconnect structures in the presence of a large n...
91
Voted
CVPR
2012
IEEE
12 years 12 months ago
2012
IEEE
The problem of simultaneous feature extraction and selection, for classifier design, is considered. A new framework is proposed, based on boosting algorithms that can either 1) s...
ICDE
2006
IEEE
15 years 3 months ago
2006
IEEE
Semantic annotation adds formal metadata to web pages to link web data with ontology concepts. Automated semantic annotation is a primary way of enabling the semantic web. A main ...
FMCAD
2007
Springer
15 years 3 months ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
67
Voted
SP
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—Unfortunately, malicious software is still an unsolved problem and a major threat on the Internet. An important component in the fight against malicious software is the...