3742 search results - page 207 / 749 » On the Use of Formal Techniques for Validation |
193
click to vote
CASCON
2007
15 years 8 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
198
click to vote
COMPOS
1997
Springer
15 years 10 months ago
1997
Springer
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...
161
click to vote
SAS
2000
Springer
15 years 10 months ago
2000
Springer
We present a new representation for possibly infinite sets of possibly infinite trees. This representation makes extensive use of sharing to achieve efficiency. As much as possible...
207
click to vote
PREMI
2007
Springer
16 years 19 days ago
2007
Springer
We address the issue of segmenting multiple textured objects in presence of a background texture. The proposed technique is based on Geodesic Active Contour (GAC) and can segment m...
216
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Recently, in generic object recognition research, a classification technique based on integration of image features is garnering much attention. However, with a classifying techn...