2152 search results - page 261 / 431 » On Automating the Calculus of Relations |
159
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
Associating speci c gene activity with speci c functional locations in the brain anatomy results in a greater understanding of the role of the gene's products. To perform such...
157
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...
162
click to vote
ICFEM
2009
Springer
16 years 29 days ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...
157
click to vote
SIGCOMM
2009
ACM
16 years 28 days ago
2009
ACM
Network management operations are complicated, tedious and error-prone, requiring significant human involvement and expert knowledge. In this paper, we first examine the fundame...
155
click to vote
ICDE
2007
IEEE
16 years 22 days ago
2007
IEEE
Querying semantically related data sources depends on the ability to map between their schemas. Unfortunately, in most cases matching between schema is still largely performed man...