3424 search results - page 406 / 685 » Automated Testing of Classes |
147
Voted
BILDMED
2008
15 years 7 months ago
2008
For the planning of surgical interventions of the spine exact knowledge about 3D shape and the local bone quality of vertebrae are of great importance in order to estimate the anch...
155
click to vote
ICWSM
2010
15 years 7 months ago
2010
Personal photos and their associated metadata reveal different aspects of our lives and, when shared online, let others have an idea about us. Automating the extraction of persona...
132
Voted
FECS
2008
15 years 7 months ago
2008
We report on the successful process of transitioning a 4th-year university software engineering capstone course from a waterfall approach to an iterative, more agile model. The se...
141
Voted
MVA
2000
15 years 7 months ago
2000
The present paper proposes a new concept of image processing method based on vector representation for visual inspection test. The method was applied to detect defects and extract...
175
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...