3742 search results - page 143 / 749 » On the Use of Formal Techniques for Validation |
160
click to vote
FLAIRS
2008
15 years 8 months ago
2008
Typical application fields of spatial and spatio-temporal representation formalisms and reasoning techniques include geographic information systems (GIS), mobile assistance system...
165
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
This paper presents a new object-based segmentation technique which exploits a large temporal context in order to get coherent and robust segmentation results. The segmentation pr...
155
click to vote
DATE
2008
IEEE
16 years 26 days ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
183
click to vote
ISICT
2003
15 years 7 months ago
2003
: Cryptographic protocols are used to achieve secure communication over insecure networks. Weaknesses in such protocols are hard to identify, as they can be the result of subtle de...
147
click to vote
ICDAR
2005
IEEE
16 years 9 hour ago
2005
IEEE
This paper presents an Enhanced Heuristic Segmenter (EHS) and an improved neural-based segmentation technique for segmenting cursive words and validating prospective segmentation ...