2705 search results - page 199 / 541 » Formal Ontology for Subject |
221
click to vote
AIME
2011
Springer
14 years 6 months ago
2011
Springer
Representing the Foundational Model of Anatomy (FMA) in OWL 2 is essential for semantic interoperability. The paper describes the method and tool used to formalize the FMA in OWL 2...
192
click to vote
CCS
2005
ACM
16 years 13 hour ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
189
click to vote
SAC
2005
ACM
16 years 1 days ago
2005
ACM
A great jump towards the advent of the Semantic Web will take place when a critical mass of web resources is available for use in a semantic way. This goal can be reached by the c...
178
click to vote
MM
2004
ACM
15 years 12 months ago
2004
ACM
In the 2003, more camera phones were sold worldwide than digital cameras. With this new platform, we can leverage regularities in the spatio-temporal context and social community ...
180
click to vote
DEXAW
2006
IEEE
16 years 16 days ago
2006
IEEE
Network-based information systems use well-defined standards to ensure interoperability and also have a tightly coupled relationship between their internal data representation an...