4573 search results - page 866 / 915 » Automated Reasoning |
137
click to vote
NGC
1998
Springer
15 years 2 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...
125
Voted
ISSRE
2010
IEEE
15 years 1 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...
138
Voted
SMA
2008
ACM
15 years 1 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...
124
Voted
RAID
2010
Springer
15 years 29 days ago
2010
Springer
Malware clustering and classification are important tools that enable analysts to prioritize their malware analysis efforts. The recent emergence of fully automated methods for ma...
122
Voted
CP
2010
Springer
15 years 18 days ago
2010
Springer
We present two heuristics based on constraint technology that solve the problem of generating air traffic management contingency plans, which are used in the case of a catastrophic...