704 search results - page 56 / 141 » A Note on Typing Feature Structures |
116
click to vote
CAISE
2003
Springer
15 years 7 months ago
2003
Springer
we propose a repository to characterize OO evolution problematic. The two main objectives are to characterize object evolution according to its own features, and to uniformly analy...
147
click to vote
BTW
2007
Springer
15 years 8 months ago
2007
Springer
: Schema matching is the process of identifying semantic correspondences between schemas. COMA++ is a matching prototype which uses several characteristics of schemas to determine ...
121
click to vote
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
139
click to vote
HT
1987
ACM
15 years 6 months ago
1987
ACM
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...
144
click to vote
BMCBI
2011
14 years 6 months ago
2011
Background: One of the strategies for protein function annotation is to search particular structural motifs that are known to be shared by proteins with a given function. Results:...