2741 search results - page 59 / 549 » Engineering Mathematical Knowledge |
DKE
2008
13 years 8 months ago
2008
Knowledge validation, as part of knowledge base verification and validation is a critical process in knowledge engineering. The ultimate goal of this process is to make the knowle...
LANMR
2007
13 years 10 months ago
2007
Teaching engineering students courses such as computer science theory, automata theory and discrete mathematics took us to realize that introducing basic notions of logic, especial...
APL
1995
ACM
14 years 8 days ago
1995
ACM
Iverson has greatly enlarged the mathematical notion of function composition and made it available to computer programmers. This paper explains the concept, and uses practical exa...
JCB
2006
13 years 8 months ago
2006
Recently a new algorithm for reverse engineering of biochemical networks was developed by Laubenbacher and Stigler. It is based on methods from computational algebra and finds mos...
VLDB
2002
ACM
13 years 8 months ago
2002
ACM
Automatic tuning has been an elusive goal for database technology for a long time and is becoming a pressing issue for modern E-services. This paper reviews and assesses the advan...