278 search results - page 37 / 56 » Automating the Interoperation of Information Processing Tool... |
MKM
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Automated knowledge management techniques critically depend on the availability of semantically enhanced documents which are hard to come by in practice. Starting from a ...
108
click to vote
AIPR
2006
IEEE
15 years 1 months ago
2006
IEEE
The production of geospatial information from overhead imagery is generally a labor-intensive process. Analysts must accurately delineate and extract important features, such as b...
109
click to vote
KI
2002
Springer
14 years 11 months ago
2002
Springer
The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description Logics are often named as one of the tools that can support th...
133
click to vote
MKM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...
SIGCSE
2008
ACM
14 years 11 months ago
2008
ACM
Formally defining the knowledge units taught in a course helps instructors ensure a sound coverage of topics and provides an objective basis for comparing the content of two cours...