2741 search results - page 132 / 549 » Engineering Mathematical Knowledge |
119
click to vote
CADE
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
116
Voted
AAAI
1993
15 years 3 months ago
1993
One of the hardest problems in reasoning about a physical system is finding an approximate model that is mathematically tractable and yet captures the essence of the problem. Appr...
COGSCI
2008
15 years 2 months ago
2008
Examples from Archimedes, Galileo, Newton, Einstein, and others suggest that fundamental laws of physics were--or, at least, could have been--discovered by experiments performed n...
CSEE
2009
Springer
15 years 9 months ago
2009
Springer
Since publication of the 2004 version, the Software Engineering Body of Knowledge (SWEBOK) has notably served as a major input to the design of curricula at the undergraduate and ...
138
click to vote
INFORMATICALT
2000
15 years 2 months ago
2000
Abstract. The paper presents an intelligent GIS architecture that enables us to extend GIS functionality by using domain specific knowledge and inference engine. In this architectu...