10890 search results - page 96 / 2178 » Automatic Complexity Analysis |
137
click to vote
MVA
1990
15 years 3 months ago
1990
This paper proposes a new method for automatic fire detection in cities using image processing techniques. Images are obtained successively at regular intervals from monochrome TV...
SOFSEM
2009
Springer
15 years 11 months ago
2009
Springer
Microcontroller software typically consists of a few hundred lines of code only, but it is rather different from standard application code. The software is highly hardware and pla...
141
click to vote
SPIN
2009
Springer
15 years 8 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
120
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Distance bounding protocols are used by nodes in wireless networks for the crucial purpose of estimating their distances to other nodes. Past efforts to analyze these protocols hav...
MICCAI
2004
Springer
16 years 3 months ago
2004
Springer