9626 search results - page 227 / 1926 » Invariant Based Programming |
153
click to vote
MICAI
2007
Springer
16 years 19 days ago
2007
Springer
In this paper some results are obtained regarding the existence and reachability of minimal fixed points for multiple-valued functions on a multilattice. The concept of inf-preser...
160
click to vote
GCSE
2000
Springer
15 years 10 months ago
2000
Springer
Combinations of C++ features, like inheritance, templates, and class nesting, allow for the expression of powerful component patterns. In particular, research has demonstrated that...
168
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
We investigate the classical notion of object composition in the framework of scenario-based specification and programming. We concentrate on live sequence charts (LSC), which exte...
159
click to vote
MVA
1998
15 years 7 months ago
1998
An efficient matching method for segment-based stereo vision is proposed. A potential matching graph which describes the connectivity between candidate matching pairs of segments ...
163
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
This paper presents a new approach to guaranteed state estimation for nonlinear discrete-time systems with a bounded description of noise and parameters. The sets of states that a...