484 search results - page 1 / 97 » Computer-Aided Computing |
INCDM
2009
Springer
13 years 11 months ago
2009
Springer
Currently, interpretation of medical images is almost exclusively made by specialized physicians. Although, the next decades will most certainly be of change and computer-aided dia...
EUROCAST
2005
Springer
13 years 10 months ago
2005
Springer
After having designed control systems for real autonomous cars in an urban environment using straight lines as reference [2], we are now trying to build a fuzzy control system base...
MPC
1995
Springer
13 years 8 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...
AICT
2006
IEEE
13 years 10 months ago
2006
IEEE
Computer aided tests replace traditional written answers on paper sheets with electronic records. For subjective tests, computers are not able to do all grading jobs, due to limit...
CAISE
2008
Springer
13 years 5 months ago
2008
Springer
Analogous to Computer-Aided Software Engineering (CASE), which aims to facilitate Software Engineering through specialized tools, ComputerAided Method Engineering (CAME) strives to...