4211 search results - page 90 / 843 » Types as Abstract Interpretations |
123
Voted
ADBIS
2005
Springer
15 years 9 months ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
123
Voted
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In semantic web applications where query initiators and information providers do not necessarily share the same ontology, semantic interoperability generally relies on on...
122
Voted
TMI
1998
15 years 3 months ago
1998
Abstract— This paper reports a novel method for fully automated segmentation that is based on description of shape and its variation using point distribution models (PDM’s). An...
140
Voted
CADE
2010
Springer
15 years 2 months ago
2010
Springer
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. In an automated setting, termination tools are concerned with parametric polynomi...
116
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
In this paper we considered the extension of the First-order Logic Bealer’s intensional abstraction operator. Contemporary use of the term ’intension’ derives from the tradit...