2741 search results - page 4 / 549 » Engineering Mathematical Knowledge |
B
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
AC
2003
Springer
14 years 21 days ago
2003
Springer
CROSSROADS
2010
13 years 4 months ago
2010
MKM
2007
Springer
14 years 1 months ago
2007
Springer
One major goal of Mathematical Knowledge Management is building extensive repositories, in which the mathematical knowledge has been verified. It appears, however, that maintainin...
IJCINI
2007
13 years 7 months ago
2007
: Cognitive informatics (CI) studies the natural intelligence and internal information processing mechanisms of the brain, as well as the processes involved in perception and cogni...