441 search results - page 75 / 89 » The logical approach to stack typing |
97
Voted
EKAW
2006
Springer
15 years 3 months ago
2006
Springer
In today's world there is a need for knowledge infrastructures that can support several autonomous knowledge bases all using different ontologies and constantly adapting thes...
106
click to vote
KBSE
2010
IEEE
14 years 10 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
EMNLP
2010
14 years 9 months ago
2010
In contrast with the booming increase of internet data, state-of-art QA (question answering) systems, otherwise, concerned data from specific domains or resources such as search e...
102
click to vote
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
123
click to vote
AI
2010
Springer
14 years 11 months ago
2010
Springer
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...