2373 search results - page 197 / 475 » On the Theory of Structural Subtyping |
172
click to vote
CONCUR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
151
click to vote
CIE
2005
Springer
16 years 6 days ago
2005
Springer
The strong weak truth table reducibility was suggested by Downey, Hirschfeldt, and LaForte as a measure of relative randomness, alternative to the Solovay reducibility. It also occ...
192
click to vote
TLCA
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
162
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Anti-angiogenic therapy is a novel treatment approach in cancer therapy that aims at preventing a tumor from developing a network of blood vessels and capillaries that ...
172
click to vote
ICEIS
2000
IEEE
15 years 11 months ago
2000
IEEE
: This paper presents a web supported development tool specific for medical diagnosis, based on Bayesian networks. The proposed system provides a user-friendly interface, giving th...