462 search results - page 29 / 93 » Function Types in Complete Type Inference |
DM
2000
13 years 7 months ago
2000
Word reversing is a combinatorial operation on words that detects pairs of equivalent words in monoids that admit a presentation of a certain form. Here we give conditions for this...
ECIR
2003
Springer
13 years 9 months ago
2003
Springer
Uncertain inference is a probabilistic generalisation of the logical view on databases, ranking documents according to their probabilities that they logically imply the query. For ...
ICDT
2010
ACM
14 years 15 days ago
2010
ACM
We examine schema mappings from a type-theoretic perspective and aim to facilitate and formalize the reuse of mappings. Starting with the mapping language of Clio, we present a ty...
IFM
2010
Springer
13 years 5 months ago
2010
Springer
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
FLAIRS
2004
13 years 9 months ago
2004
The probabilistic concept formation general problem in dealing with mixed-data scale environments is due to the use of different evaluation function for each attribute type. We cl...