5499 search results - page 198 / 1100 » Generalized Rewrite Theories |
209
click to vote
AINA
2009
IEEE
16 years 2 months ago
2009
IEEE
—In this paper we introduce the notion of protein interaction network. This is a graph whose vertices are the protein’s amino acids and whose edges are the interactions between...
190
click to vote
TIME
2008
IEEE
16 years 1 months ago
2008
IEEE
Boolean contact algebras constitute a convenient approach to a region based theory of space. In this paper we want to extend this approach to regions moving in time - called timed...
144
click to vote
CIE
2007
Springer
16 years 1 months ago
2007
Springer
We introduce the notion of a locally computable structure, a natural way of generalizing the notions of computable model theory to uncountable structures S by presenting the finit...
166
click to vote
FCT
2007
Springer
16 years 1 months ago
2007
Springer
We consider standard algorithms of finite graph theory, like for instance shortest path algorithms. We present two general methods to polynomially extend these algorithms to infi...
176
click to vote
SIGDOC
2006
ACM
16 years 1 months ago
2006
ACM
This work will present elements of Genrich Altshuller’s Theory of Inventive Problem Solving, also known as TRIZ, and use them to describe the structural patterns found in the Ga...