6167 search results - page 894 / 1234 » Can Refinement be Automated |
157
Voted
AMOST
2007
ACM
15 years 9 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
137
click to vote
GIS
2007
ACM
15 years 8 months ago
2007
ACM
Spatial join is an important yet costly operation in spatial databases. In order to speed up the execution of a spatial join, the input tables are often indexed based on their spa...
152
Voted
GIS
2009
ACM
15 years 8 months ago
2009
ACM
Raster maps are widely available and contain useful geographic features such as labels and road lines. To extract the geographic features, most research work relies on a manual st...
162
Voted
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
Designing custom-extensible instructions for Extensible Processors1 is a computationally complex task because of the large design space. The task of automatically matching candida...
131
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
We introduce Doppelganger, a novel system for creating and enforcing fine-grained, privacy preserving browser cookie policies with low manual effort. Browser cookies pose privacy ...