778 search results - page 59 / 156 » Expressiveness and complexity of graph logic |
121
Voted
BMCBI
2006
15 years 18 days ago
2006
Background: The development of algorithms to infer the structure of gene regulatory networks based on expression data is an important subject in bioinformatics research. Validatio...
99
Voted
BMCBI
2006
15 years 18 days ago
2006
Background: Microarray technology produces gene expression data on a genomic scale for an endless variety of organisms and conditions. However, this vast amount of information nee...
109
Voted
ATAL
2010
Springer
15 years 22 days ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
INFOCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
— We introduce a low-complexity distributed slotted MAC protocol that can support all feasible arrival rates in a wireless backhaul network (WBN). For arbitrary wireless networks...
103
click to vote
PODS
2007
ACM
16 years 20 days ago
2007
ACM
In a recent paper, Martens et al. introduced a specification mechanism for XML tree languages, based on rules of the form r s, where r, s are regular expressions. Sets of such ru...