1982 search results - page 161 / 397 » Parametricity and dependent types |
168
click to vote
DOA
2001
15 years 8 months ago
2001
This paper presents and discusses some infrastructure services necessary for distributed applications development. The main service considered is the component search service whic...
202
click to vote
PROLAMAT
2001
15 years 8 months ago
2001
: In most cases in intelligent manufacturing applications the communication functions depend on the capabilities of the intelligent tool (e.g. expert system). Three different types...
159
click to vote
VMV
2001
15 years 8 months ago
2001
Visual-geometric scene reconstructions capture the visual appearance and geometry of real 3D scenes from image streams. Depending on the type of camera motion and type of scene st...
155
click to vote
COLING
2000
15 years 8 months ago
2000
We will report on one of the two tasks in the IREX (Information Retrieval and Extraction Exercise) project, an evaluation-based project for Information Retrieval and Information E...
145
click to vote
COLING
1996
15 years 8 months ago
1996
Unification-based theories of grammar allow to integrate different levels of linguistic descriptions in the common framework of typed feature structures. Dependencies among the le...