1205 search results - page 151 / 241 » Program Extraction from Large Proof Developments |
112
click to vote
APLAS
2004
ACM
15 years 6 months ago
2004
ACM
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through au...
111
click to vote
CCS
2011
ACM
14 years 1 months ago
2011
ACM
A significant and growing class of location-based mobile applications aggregate position data from individual devices at a server and compute aggregate statistics over these posi...
128
click to vote
BMCBI
2004
15 years 1 months ago
2004
Background: The general problem of RNA secondary structure prediction under the widely used thermodynamic model is known to be NP-complete when the structures considered include a...
110
click to vote
IGARSS
2009
14 years 11 months ago
2009
The UAE location on the edge of a very warm sea and hot and dry desert create the optimal conditions of inland fog forming. The afternoon sea breeze, which is almost a daily event...
108
click to vote
HICSS
2000
IEEE
15 years 5 months ago
2000
IEEE
Advances in geographical information systems (GIS) and supporting data collection technology has resulted in the rapid collection of a huge amount of spatial data. However, known ...