921 search results - page 75 / 185 » Expressing Computational Complexity in Constructive Type The... |
SAC
2010
ACM
14 years 2 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
NAR
2011
13 years 2 months ago
2011
miRGator is an integrated database of microRNA (miRNA)-associated gene expression, target prediction, disease association and genomic annotation, which aims to facilitate function...
ICTAI
2006
IEEE
14 years 1 months ago
2006
IEEE
Computer programs that can be expressed in two or more dimensions are typically called visual programs. The underlying theories of visual programming languages involve graph gramm...
DAGSTUHL
2003
13 years 9 months ago
2003
— The paper focuses on the problem how a community of distributed agents may autonomously invent and coordinate lexicons and grammars. Although our earlier experiments have shown...
ACS
2008
13 years 8 months ago
2008
Algebras and coalgebras are fundamental notions for large parts of mathematics. The basic constructions from universal algebra are now expressed in the language of categories and ...