3116 search results - page 196 / 624 » Positively dependent types |
172
click to vote
PROLAMAT
2001
15 years 6 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...
136
click to vote
VMV
2001
15 years 6 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...
130
click to vote
COLING
2000
15 years 6 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...
122
click to vote
COLING
1996
15 years 6 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...
152
click to vote
CADE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...