9370 search results - page 97 / 1874 » An Abstract Notion of Application |
132
Voted
BMCBI
2005
15 years 17 days ago
2005
ent> <title><p>BioSysBio: Bioinformatics and Systems Biology Conference</p></title> <note>Meeting abstracts
56
Voted
WWW
2005
ACM
16 years 1 months ago
2005
ACM
d abstract) *
87
Voted
COMMA
2008
15 years 2 months ago
2008
Abstract. The identification of consistent sets of arguments is one of the most important concerns in the development of computational models of argument. Such extensions drive the...
90
Voted
SE
2007
15 years 2 months ago
2007
: This paper is a tutorial on the principles and applications of static tion by Abstract Interpretation to development, verification and validation ded applications. The topics cov...
91
Voted
LOPSTR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper aims at offering an insightful synthesis of different compositional semantics for logic program composition which have been developed in the literature. In p...