1722 search results - page 64 / 345 » Ontology Formalism Transformation |
194
Voted
SIGMOD
2005
ACM
16 years 22 days ago
2005
ACM
One of the most challenging problems in the healthcare domain is providing interoperability among healthcare information systems. In order to address this problem, we propose the ...
92
Voted
EUROMICRO
1998
IEEE
15 years 4 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
119
click to vote
FQAS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Controlled languages (CLs) are ambiguity-free subsets of natural languages such as English offering a good trade-off between the formal rigor of ontology and query langua...
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
Semantic descriptions of non-textual media available on the web can be used to facilitate retrieval and presentation of media assets and documents containing them. While technologi...
100
click to vote
ELPUB
2003
ACM
15 years 5 months ago
2003
ACM
Website development has always been an hard task: it consumes time and resources. What is new today is normally taken as granted tomorrow by users. This is to say that users always...