9626 search results - page 97 / 1926 » Invariant Based Programming |
176
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
147
click to vote
SGP
2003
15 years 6 months ago
2003
One of the challenges in 3D shape matching arises from the fact that in many applications, models should be considered to be the same if they differ by a rotation. Consequently, w...
132
click to vote
FAC
2008
15 years 4 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...
161
click to vote
TIP
2002
15 years 4 months ago
2002
In this paper, we introduce a rotational invariant feature set for texture segmentation and classification, based on an extension of fractal dimension (FD) features. The FD extract...
137
click to vote
ICB
2009
Springer
15 years 2 months ago
2009
Springer
Stemming from a sound mathematical framework dating back to the beginning of the 20th century, this paper introduces a novel approach for 3D face recognition. The proposed techniqu...