1060 search results - page 98 / 212 » Mechanized semantics |
WWW
2005
ACM
15 years 10 months ago
2005
ACM
Some recent initiatives try to take profit from RDF to make XML documents interoperate at the semantic level. Ontologies are used to establish semantic connections among XML langu...
169
click to vote
POPL
2008
ACM
15 years 10 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
AIME
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Clinical guidelines (GLs) play an important role to standardize and organize clinical processes according to evidence-based medicine. Several computer-based GL representa...
ICDE
2006
IEEE
15 years 4 months ago
2006
IEEE
The dream of pervasive multimedia retrieval and reuse will not be realized without incorporating semantics in the multimedia database. As video data is penetrating many informatio...
FMCO
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Object calculi have been investigated as semantical foundation for object-oriented languages. Often, they are object-based, whereas the mainstream of object-oriented lang...