3400 search results - page 208 / 680 » tools 2008 |
165
click to vote
FORTEST
2008
15 years 8 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
162
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. Several recent studies explored the use of unsupervised segmentation methods for segmenting thalamic nuclei from diffusion tensor images. These methods provide a plausibl...
158
click to vote
SSDBM
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract. Most correlation clustering algorithms rely on principal component analysis (PCA) as a correlation analysis tool. The correlation of each cluster is learned by applying P...
182
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Constrained random simulation is supported by constraint solvers integrated within simulators. These constraint solvers need to be fast and memory efficient to maintain s...
133
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Urban simulation systems can be a powerful tool for helping to understand the complex, long-term consequences of urban planning decisions. Simulation results are summarized and re...