Sciweavers

3 search results - page 1 / 1
» Sequence Unification Through Currying
Sort
View
RTA
2007
Springer
13 years 11 months ago
Sequence Unification Through Currying
Temur Kutsia, Jordi Levy, Mateu Villaret
JSC
2010
107views more  JSC 2010»
13 years 12 days 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 5 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