11462 search results - page 150 / 2293 » Developing Application-Centric Methods |
142
click to vote
ZUM
1994
Springer
15 years 7 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...
ICPR
2004
IEEE
16 years 4 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...
114
click to vote
CADE
2003
Springer
16 years 3 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 ...
101
click to vote
KBSE
1997
IEEE
15 years 7 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
139
click to vote
FGR
2004
IEEE
15 years 7 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...