1153 search results - page 127 / 231 » Reversing graph transformations |
90
Voted
CORR
2010
Springer
15 years 23 days 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...
117
click to vote
FSTTCS
2010
Springer
14 years 10 months 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...
107
Voted
GG
2004
Springer
15 years 6 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...
WEBI
2004
Springer
15 years 6 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...
122
Voted
ASPDAC
1999
ACM
15 years 5 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...