13383 search results - page 184 / 2677 » Abstractions from proofs |
150
click to vote
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
210
click to vote
DICTA
2003
15 years 8 months ago
2003
Abstract. In this paper we solve the problem of computing exact continuous optimal curves and surfaces for image segmentation and 3D reconstruction, using a maximal flow approach ...
177
click to vote
IJCAI
1993
15 years 7 months ago
1993
Whilst much emphasis in AI has been placed on the use of goals in problem solving, less emphasis has been placed on the role of perception and experience. In this paper we show th...
180
click to vote
FMICS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
201
click to vote
FMICS
2010
Springer
15 years 6 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...