1420 search results - page 244 / 284 » Representation of Graphs by OBDDs |
128
Voted
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
We provide a logical model of biochemical reactions and show how hypothesis generation using weakest sufficient and strongest necessary conditions may be used to provide addition...
103
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Automated negotiation techniques have received considerable attention over the past decade, and much progress has been made in developing negotiation protocols and strate...
101
click to vote
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
Genetic programming may be seen as a recent incarnation of a long-held goal in evolutionary computation: to develop actual computational devices through evolutionary search. Geneti...
146
Voted
SAMOS
2004
Springer
15 years 7 months ago
2004
Springer
The dataflow interchange format (DIF) is a textual language that is geared towards capturing the semantics of graphical design tools for DSP system design. A key objective of DIF i...
IWPC
2003
IEEE
15 years 7 months ago
2003
IEEE
Increasingly focus in the software comprehension community is shifting from representing the results of analysis in the graph and database domain to reflecting insights directly i...