Sciweavers

4622 search results - page 43 / 925
» Foundations of Information Theory
Sort
View
ENTCS
2007
102views more  ENTCS 2007»
14 years 9 months ago
Encoding Functional Relations in Scunak
We describe how a set-theoretic foundation for mathematics can be encoded in the new system Scunak. We then discuss an encoding of the construction of functions as functional relat...
Chad E. Brown
CORR
2011
Springer
158views Education» more  CORR 2011»
14 years 1 months ago
Exploiting Conceptual Knowledge for Querying Information Systems
Whereas today’s information systems are well-equipped for efficient query handling, their strict mathematical foundations hamper their use for everyday tasks. In daily life, peop...
Joachim Selke, Wolf-Tilo Balke
COSIT
2005
Springer
152views GIS» more  COSIT 2005»
15 years 3 months ago
Anatomical Information Science
The Foundational Model of Anatomy (FMA) is a map of the human body. Like maps of other sorts – including the map-like representations we find in familiar anatomical atlases – i...
Barry Smith, José L. V. Mejino Jr., Stefan ...
FOIS
2008
14 years 11 months ago
SKIing with DOLCE: toward an e-Science Knowledge Infrastructure
: An ontology of general science knowledge (SKIo) is developed to enhance machine representation and use of scientific theories in emerging e-Science Knowledge Infrastructures. SKI...
Boyan Brodaric, Femke Reitsma, Yi Qiang
COCOON
2007
Springer
15 years 4 months ago
Information Distance from a Question to an Answer
We provide three key missing pieces of a general theory of information distance [3, 23, 24]. We take bold steps in formulating a revised theory to avoid some pitfalls in practical...
Ming Li