2585 search results - page 391 / 517 » Automating Coherent Logic |
184
click to vote
JSC
2010
15 years 4 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
179
click to vote
GIS
2009
ACM
15 years 10 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...
168
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Although a remarkably high degree of automation has been reached in production and intra-logistics nowadays, human labor is still used for transportation using handcarts and forkl...
163
click to vote
HPCA
2008
IEEE
16 years 6 months ago
2008
IEEE
The continued scaling of device dimensions and the operating voltage reduces the critical charge and thus natural noise tolerance level of transistors. As a result, circuits can p...
157
click to vote
ARTMED
2006
15 years 6 months ago
2006
Objective: The objective of this paper is to demonstrate how a formal spatial theory can be used as an important tool for disambiguating the spatial information embodied in biomed...