887 search results - page 86 / 178 » Automated Detection of Design Patterns |
GIS
2010
ACM
15 years 1 days ago
2010
ACM
We propose a new and powerful tool for the analysis of trajectories, which in particular allows for more temporally aware analyses. Time plays an important role in the analysis of ...
121
click to vote
DAC
2010
ACM
15 years 4 months ago
2010
ACM
Post-silicon validation is used to detect and fix bugs in integrated circuits and systems after manufacture. Due to sheer design complexity, it is nearly impossible to detect and ...
102
click to vote
GIS
2010
ACM
15 years 1 days ago
2010
ACM
Bare Earth gridded digital elevation models (DEMs) are often used to extract hydrologic features such as rivers and watersheds. DEMs must be conditioned by removing spurious sinks...
126
click to vote
CADE
2005
Springer
16 years 1 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
121
click to vote
CAV
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...