5726 search results - page 230 / 1146 » Supporting annotations on relations |
130
Voted
SCW
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents an algorithm to match a semantic Web service request against semantic Web service advertisements. The algorithm is to be used by systems to discover semantic W...
119
Voted
SAS
2001
Springer
15 years 5 months ago
2001
Springer
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
103
Voted
CONCUR
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
108
Voted
CORIA
2008
15 years 2 months ago
2008
The comparison of manually annotated medical images can be done using the comparison of keywords in a lexical way or using the existing medical thesauri to calculate semantic simil...
103
Voted
SDM
2008
SIAM
15 years 2 months ago
2008
SIAM
Typically, sequence signatures, such as motifs and domains, are assumed to be localized in one region of a sequence or are derived as combinations of the former. We generalize the...