1205 search results - page 178 / 241 » Program Extraction from Large Proof Developments |
LCN
2006
IEEE
15 years 7 months ago
2006
IEEE
— The paper presents a thought experiment as to the feasibility of using large scale wireless sensor networks as a vehicle for high level scientific investigation. The discussion...
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
Soft errors are an increasingly serious problem for logic circuits. To estimate the effects of soft errors on such circuits, we develop a general computational framework based on ...
102
click to vote
ICAC
2005
IEEE
15 years 7 months ago
2005
IEEE
Detection and diagnosis of faults in a large-scale distributed system is a formidable task. Interest in monitoring and using traces of user requests for fault detection has been o...
IPSN
2005
Springer
15 years 7 months ago
2005
Springer
Abstract— Recently, several wireless sensor network studies demonstrated large discrepancies between experimentally observed communication properties and properties produced by w...
112
click to vote
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Reliably extracting information from aerial imagery is a difficult problem with many practical applications. One specific case of this problem is the task of automatica...