1805 search results - page 136 / 361 » Functional programming with structured graphs |
108
click to vote
CDC
2009
IEEE
14 years 11 months ago
2009
IEEE
We consider a network of control systems connected over a graph. Considering the graph structure as constraints on the set of permissible controllers, we show that such systems ar...
115
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: With the completion of the genome sequences of human, mouse, and other species and the advent of high throughput functional genomic research technologies such as biomi...
158
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: A fundamental problem when trying to define the functional relationships between proteins is the difficulty in quantifying functional similarities, even when well-stru...
121
click to vote
ICTAC
2005
Springer
15 years 6 months ago
2005
Springer
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
109
click to vote
AAECC
2007
Springer
15 years 1 months ago
2007
Springer
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...