1153 search results - page 127 / 231 » Reversing graph transformations |
105
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The ability to detect weak distributed activation patterns in networks is critical to several applications, such as identifying the onset of anomalous activity or incipient conges...
141
Voted
FSTTCS
2010
Springer
15 years 18 days ago
2010
Springer
This paper focuses on first-order logic (FO) extended by reachability predicates such that the expressiveness and hence decidability properties lie between FO and monadic second-o...
120
Voted
GG
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Development processes in engineering disciplines are inherently complex. Throughout the development process, different kinds of inter-dependent design documents are creat...
94
Voted
WEBI
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we particularly focused our attention on how to enhance expressivity of ontologies when used as organized space values in a catalogue request process. Using the Wis...
136
Voted
ASPDAC
1999
ACM
15 years 7 months ago
1999
ACM
: This paper presents a genetic algorithm based approach for algebraic optimization of behavioral system specifications. We introduce a chromosomal representation of data-flow gr...