391 search results - page 11 / 79 » Formal Universes |
108
Voted
ECSA
2010
Springer
15 years 17 days ago
2010
Springer
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...
115
Voted
IJSWIS
2007
15 years 8 days ago
2007
Ontology alignment foundations are hard to find in the literature. The abstract nature of the topic and the diverse means of practice make it difficult to capture it in a universal...
JLP
2007
2007
Universality and semicomputability for nondeterministic programming languages over abstract algebras
15 years 8 days ago
tract Algebras Wei Jiang∗ , Yuan Wang† , and Jeffery Zucker‡ September 11, 2006 The Universal Function Theorem (UFT) originated in 1930s with the work of Alan Turing, who p...
107
Voted
ALT
2007
Springer
15 years 6 months ago
2007
Springer
In transfer learning the aim is to solve new learning tasks using fewer examples by using information gained from solving related tasks. Existing transfer learning methods have be...
115
Voted
ECCC
2008
15 years 13 days ago
2008
We continue the investigation of the task of meaningful communication among intelligent entities (players, agents) without any prior common language. Our generic thesis is that su...