2218 search results - page 356 / 444 » Testing Expressibility Is Hard |
ACTAC
2008
13 years 9 months ago
2008
Rules provide an expressive means for implementing database behavior: They cope with changes and their ramifications. Rules are commonly used for integrity enforcement, i.e., for ...
BMCBI
2010
13 years 9 months ago
2010
Background: Inference of gene regulatory networks is a key goal in the quest for understanding fundamental cellular processes and revealing underlying relations among genes. With ...
BMCBI
2008
13 years 9 months ago
2008
Background: Protein sumoylation is an essential dynamic, reversible post translational modification that plays a role in dozens of cellular activities, especially the regulation o...
COGSCI
2010
13 years 9 months ago
2010
A well-established principle of language is that there is a preference for closely related words to be close together in the sentence. This can be expressed as a preference for de...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
We discuss the definability of finite graphs in first-order logic with two relation symbols for adjacency and equality of vertices. The logical depth D(G) of a graph G is equal to ...