3742 search results - page 55 / 749 » On the Use of Formal Techniques for Validation |
155
click to vote
INFSOF
1998
15 years 5 months ago
1998
We show how to combine program slicing and constraint solving in order to obtain better slice accuracy. The method is used in the VALSOFT slicing system. One particular applicatio...
153
click to vote
INFORMATICALT
2006
15 years 6 months ago
2006
There is presented a technique of transcribing Lithuanian text into phonemes for speech recognition. Text-phoneme transformation has been made by formal rules and the dictionary. F...
153
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
An efficient approach to full-wave impedance extraction is developed that accounts for substrate effects through the use of two-layer media Green's functions in a mixed-poten...
166
click to vote
IJCNN
2000
IEEE
15 years 10 months ago
2000
IEEE
In our recent work, a general method called the stable state analysis technique was developed to determine constraints that the weights in the Hopfield energy function must satisf...
144
click to vote
CAISE
1993
Springer
15 years 10 months ago
1993
Springer
Animation is a multiple graphical view of a process in action. Animation has been successfully employed in programming for designing, developing and debugging programs or monitori...