1722 search results - page 48 / 345 » Ontology Formalism Transformation |
116
Voted
COMPSEC
2008
15 years 19 days 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 ...
92
Voted
SAC
2008
ACM
15 years 23 hour 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...
99
Voted
ATVA
2009
Springer
15 years 4 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 ...
93
Voted
WEBI
2005
Springer
15 years 6 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...
100
click to vote
APPML
2006
15 years 18 days ago
2006
Let be a polynomial over K (a field of characteristic 0) such that the Hessian of is a nonzero constant. Let