4617 search results - page 871 / 924 » Automation of Diagrammatic Reasoning |
168
click to vote
NGC
1998
Springer
15 years 5 months ago
1998
Springer
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...
159
click to vote
SIGKDD
2002
15 years 5 months ago
2002
The primary aim of most data mining algorithms is to facilitate the discovery of concise and interpretable information from large amounts of data. However, many of the current for...
156
click to vote
FUIN
2010
15 years 4 months ago
2010
From an empirical point of view, the hardness of quantified Boolean formulas (QBFs), can be characterized by the (in)ability of current state-of-the-art QBF solvers to decide abo...
162
click to vote
ISSRE
2010
IEEE
15 years 4 months ago
2010
IEEE
—Web 2.0 applications are increasing in popularity. However, they are also prone to errors because of their dynamic nature. This paper presents DoDOM, an automated system for tes...
177
click to vote
SMA
2008
ACM
15 years 4 months ago
2008
ACM
View identification is the basal process for solid reconstruction from engineering drawings. A new method is presented to label various views from a section-involved drawing and i...