Sciweavers

3 search results - page 1 / 1
» Sequence Unification Through Currying
Sort
View
RTA
2007
Springer
14 years 1 months ago
Sequence Unification Through Currying
Temur Kutsia, Jordi Levy, Mateu Villaret
JSC
2010
107views more  JSC 2010»
13 years 2 months ago
On the relation between Context and Sequence Unification
Both Sequence and Context Unification generalize the same problem: Word Unification. Besides that, Sequence Unification solves equations between unranked terms involving sequence ...
Temur Kutsia, Jordi Levy, Mateu Villaret
BMCBI
2006
164views more  BMCBI 2006»
13 years 7 months ago
BIOZON: a system for unification, management and analysis of heterogeneous biological data
Integration of heterogeneous data types is a challenging problem, especially in biology, where the number of databases and data types increase rapidly. Amongst the problems that o...
Aaron Birkland, Golan Yona