3319 search results - page 166 / 664 » Type Theoretical Databases |
117
Voted
ICDT
2010
ACM
15 years 7 months 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...
124
Voted
HASKELL
2006
ACM
15 years 8 months ago
2006
ACM
In languages that support polymorphic variants, a single variant value can be passed to many contexts that accept different sets of constructors. Polymorphic variants are potenti...
73
Voted
LREC
2010
15 years 4 months ago
2010
We present in this paper an on-going research: the construction and annotation of a Romanian Generative Lexicon (RoGL). Our system follows the specifications of CLIPS project for ...
153
Voted
EDBT
2012
ACM
13 years 5 months ago
2012
ACM
Conventional research on similarity search focuses on measuring the similarity between objects with the same type. However, in many real-world applications, we need to measure the...
137
Voted
IPMI
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Non-rigid image registration is a challenging task in medical image analysis. In recent years, there are two essential issues. First, intensity similarity is not necessar...