1357 search results - page 193 / 272 » Compositionality in Graph Transformation |
114
click to vote
PODS
1989
ACM
15 years 8 months ago
1989
ACM
The alternating xpoint of a logic program with negation is de ned constructively. The underlying idea is monotonically to build up a set of negative conclusions until the least xp...
138
Voted
ESCIENCE
2005
IEEE
15 years 9 months ago
2005
IEEE
GridXSLT is an implementation of the XSLT programming language designed for distributed web service orchestration. Based on the functional semantics of the language, it compiles p...
110
Voted
ICISS
2005
Springer
15 years 9 months ago
2005
Springer
The event-condition-action paradigm (also known as triggers or rules) is a powerful technology. It gives a database “active” capabilities – the ability to react automatically...
132
Voted
GRAPHICSINTERFACE
2008
15 years 5 months ago
2008
We address the problem of reconstructing the background of a scene from a set of photographs featuring several occluding objects. We assume that the photographs are obtained from ...
134
Voted
LATA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Gene trees are leaf-labeled trees inferred from molecular sequences. Due to duplication events arising in genome evolution, gene trees usually have multiple copies of som...