3342 search results - page 85 / 669 » Automating Abstract Interpretation |
114
Voted
ADBIS
2005
Springer
15 years 8 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 ...
118
Voted
ESWS
2008
Springer
15 years 4 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...
108
Voted
CORR
2011
Springer
14 years 6 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...
114
Voted
TCAD
2002
15 years 2 months ago
2002
VLSI fabrication technology has advanced rapidly, bringing with it a strong demand for faster and better design automation tools. Accurate reporting of results for placement appro...
138
click to vote
ECCV
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. Sparse signal models learned from data are widely used in audio, image, and video restoration. They have recently been generalized to discriminative image understanding t...