13099 search results - page 300 / 2620 » Cooperative method development |
200
click to vote
ZUM
1994
Springer
15 years 10 months ago
1994
Springer
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...
173
click to vote
NA
2010
15 years 5 months ago
2010
Cascadic multilevel methods for the solution of linear discrete ill-posed problems with noise-reducing restriction and prolongation operators recently have been developed for the r...
141
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
We evaluate our recently developed conformal method for quantitative shape extraction from unorganized 3D oriented point clouds. The conformal method has been tested previously on...
165
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
Developing automatable methods for proving termination of term rewrite systems that resist traditional techniques based on simplification orders has become an active research area ...
186
click to vote
FGR
2004
IEEE
15 years 10 months ago
2004
IEEE
We review several model-based and image-based methods that we have developed for analyzing, synthesizing, and recognizing facial images. Our model-based methods include a sophisti...