4961 search results - page 373 / 993 » Homomorphism-Homogeneous Relational Structures |
145
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
250
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
142
click to vote
CHI
2004
ACM
16 years 5 months ago
2004
ACM
Context is a critical element in forming the performance of interactive systems. As the functional diversity and range of use context of the system increase, context sensitivity b...
144
click to vote
RECOMB
2007
Springer
16 years 5 months ago
2007
Springer
Learning the structure of a gene regulatory network from time-series gene expression data is a significant challenge. Most approaches proposed in the literature to date attempt to ...
166
click to vote
PODS
2008
ACM
16 years 5 months ago
2008
ACM
We present a formal framework for capturing the provenance of data appearing in XQuery views of XML. Building on previous work on relations and their (positive) query languages, w...