1722 search results - page 48 / 345 » Ontology Formalism Transformation |
COMPSEC
2008
13 years 9 months ago
2008
-- Voice services over Internet Protocol (VoIP) are nowadays much promoted by telecommunication and Internet service providers. However, the utilization of open networks, like the ...
SAC
2008
ACM
13 years 9 months ago
2008
ACM
When developing semantic applications, the construction of ontologies is a crucial part. We are developing a semiautomatic ontology construction approach, OntoCase, relying on ont...
ATVA
2009
Springer
14 years 1 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
WEBI
2005
Springer
14 years 3 months ago
2005
Springer
The performance of an ontology alignment technique largely depends on the amount of information that can be leveraged for the alignment task. On the Semantic Web, end-users may ex...
APPML
2006
13 years 9 months ago
2006
Let be a polynomial over K (a field of characteristic 0) such that the Hessian of is a nonzero constant. Let