Sciweavers

3319 search results - page 166 / 664
» Type Theoretical Databases
Sort
View
ICDT
2010
ACM
149views Database» more  ICDT 2010»
15 years 3 months ago
Mapping Polymorphism
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...
Ryan Wisnesky, Mauricio Hernandez, Lucian Popa
HASKELL
2006
ACM
15 years 4 months ago
Polymorphic variants in Haskell
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...
Koji Kagawa
LREC
2010
143views Education» more  LREC 2010»
14 years 11 months ago
Building a Generative Lexicon for Romanian
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 ...
Anca Dinu
EDBT
2012
ACM
291views Database» more  EDBT 2012»
13 years 17 days ago
Relevance search in heterogeneous networks
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...
Chuan Shi, Xiangnan Kong, Philip S. Yu, Sihong Xie...
IPMI
2009
Springer
15 years 11 months ago
Non-rigid Image Registration with Uniform Spherical Structure Patterns
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...
Albert C. S. Chung, Shu Liao