5451 search results - page 204 / 1091 » Typed Operational Semantics |
145
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Confidence in pairwise alignments of biological sequences, obtained by various methods such as Blast or Smith-Waterman, is critical for automatic analyses of genomic d...
125
click to vote
VLDB
2004
ACM
15 years 9 months ago
2004
ACM
Ontologies are increasingly being used to build applications that utilize domain-specific knowledge. This paper addresses the problem of supporting ontology-based semantic matchin...
144
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creat...
123
click to vote
HASKELL
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we address the lack of extensibility of the exception type in Haskell. We propose a lightweight solution involving the use of existential types and the Typeable clas...
147
click to vote
NMR
2004
Springer
15 years 9 months ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...