1199 search results - page 101 / 240 » Automated Extraction of Problem Structure |
3DIM
2005
IEEE
14 years 2 months ago
2005
IEEE
Our goal is the production of highly accurate photorealistic descriptions of the 3D world with a minimum of human interaction and increased computational efficiency. Our input is...
AAAI
2000
13 years 10 months ago
2000
Most CBR systems rely on a fixed library of cases, where each case consists of a set of facts specified in advance. This paper describes techniques for dynamically extracting case...
ISDA
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we propose an algorithm and data structure for computing the term contributed frequency (tcf) for all N-grams in a text corpus. Although term frequency is one of th...
KBSE
2008
IEEE
14 years 3 months ago
2008
IEEE
—Automatic white-box test generation is a challenging problem. Many existing tools rely on complex code analyses and heuristics. As a result, structural features of an input prog...
DAC
2000
ACM
14 years 10 months ago
2000
ACM
Variable ordering for BDDs has been extensively investigated. Recently, sampling based ordering techniques have been proposed to overcome problems with structure based static orde...