289 search results - page 3 / 58 » Acyclic Type of Relationships Between Autonomous Systems |
JCDL
2004
ACM
14 years 1 months ago
2004
ACM
Today people typically read and annotate printed documents even if they are obtained from electronic sources like digital libraries. If there is a reason for them to share these p...
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
In medical research, being able to justify decisions is generally as important as taking the right ones. Interpretability is then one of the chief characteristics a learning algor...
CSL
2009
Springer
14 years 2 months ago
2009
Springer
We investigate the relationship between two independently developed termination techniques for rst and higher-order rewrite systems. On the one hand, sized-types based termination...
MIR
2010
ACM
14 years 27 days ago
2010
ACM
There is considerable research in the field of content-based medical image retrieval; however, few of the current systems investigate the relationship between the radiologists’...