1585 search results - page 3 / 317 » A framework for computer-aided validation |
CVPR
2001
IEEE
14 years 7 months ago
2001
IEEE
To utilize CT or MRI images for computer aided diagnosis applications, robust features that represent 3-D image data need to be constructed and subsequently used by a classificati...
ICIP
2007
IEEE
13 years 9 months ago
2007
IEEE
In this paper, the development of a computer-aided system for the classification of grade of neuroblastic differentiation is presented. This automated process is carried out withi...
FLAIRS
2006
13 years 7 months ago
2006
The invited talk will introduce Computer-Aided Language Processing (CALP) as an emerging area of practical interest and significance and will present experiments of several CALP a...
MPC
1995
Springer
13 years 9 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
SPEECH
2010
13 years 15 days ago
2010
In this paper the nature and relevance of the information provided by intonation is discussed in the framework of second language learning. As a consequence, an automatic intonati...