2373 search results - page 274 / 475 » On the Theory of Structural Subtyping |
186
click to vote
INFOSCALE
2006
ACM
16 years 19 days ago
2006
ACM
With the rapid development of the semantic web, it is likely that the number of ontologies will greatly increase during the next few years, which leads to the arising demand for r...
155
click to vote
SAC
2006
ACM
16 years 18 days ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ...
195
click to vote
VISUALIZATION
2005
IEEE
16 years 7 days ago
2005
IEEE
The genus of a knot or link can be defined via Seifert surfaces. A Seifert surface of a knot or link is an oriented surface whose boundary coincides with that knot or link. Schem...
170
click to vote
ER
2005
Springer
16 years 6 days ago
2005
Springer
Measuring semantic similarity among concepts is the core method for assessing the degree of semantic interoperability within and between ontologies. In this paper, we propose to ex...
162
click to vote
PPDP
2005
Springer
16 years 4 days ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...