194 search results - page 22 / 39 » A Rewriting Semantics for Type Inference |
147
click to vote
IS
2006
15 years 3 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
148
Voted
CVPR
2012
IEEE
13 years 5 months ago
2012
IEEE
Structure from motion (SFM) aims at jointly recovering the structure of a scene as a collection of 3D points and estimating the camera poses from a number of input images. In this...
143
Voted
PEPM
2009
ACM
16 years 4 days ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
155
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Contemporary use of the term ’intension’ derives from the traditional logical doctrine that an idea has both an extension and an intension. In this paper we introduce an intens...
143
Voted
ICADL
2003
Springer
15 years 8 months ago
2003
Springer
Ontologies play an important role in the Semantic Web as well as in digital library and knowledge portal applications. This project seeks to develop an automatic method to enrich e...