4636 search results - page 206 / 928 » Application of Linguistic Techniques for Use Case Analysis |
194
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
196
click to vote
NN
2008
Springer
15 years 6 months ago
2008
Springer
Learning data representations is a fundamental challenge in modeling neural processes and plays an important role in applications such as object recognition. In multi-stage Optima...
198
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
The need for automated software engineering tools and techniques continues to grow as the size and complexity of studied systems and analysis techniques increase. Software enginee...
197
click to vote
CRV
2005
IEEE
16 years 8 days ago
2005
IEEE
The problem of elucidating the functional significance of genes is a key challenge of modern science. Solving this problem can lead to fundamental advancements across multiple are...
192
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Frequently in the physical sciences experimental data are analyzed to determine model parameters using techniques known as parameter estimation. Eliminating the effects of noise ...