3828 search results - page 667 / 766 » Proof-Based System Engineering Using a Virtual System Model |
135
click to vote
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
Modern embedded systems for image processing involve increasingly complex levels of functionality under real-time and resourcerelated constraints. As this complexity increases, th...
123
click to vote
CIKM
2011
Springer
14 years 2 months ago
2011
Springer
A growing number of applications are built on top of search engines and issue complex structured queries. This paper contributes a customisable ranking-based processing of such qu...
123
click to vote
IFM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
164
click to vote
TIM
2010
14 years 9 months ago
2010
Polynomial chaos theory (PCT) has been proven to be an efficient and effective way to represent and propagate uncertainty through system models and algorithms in general. In partic...
137
click to vote
CVPR
2003
IEEE
16 years 4 months ago
2003
IEEE
Virtually all methods in image processing and computer vision, for removing weather effects from images, assume single scattering of light by particles in the atmosphere. In reali...