Sciweavers

299 search results - page 21 / 60
» Dispositional implementation solves the superfluous structur...
Sort
View
ALGORITHMICA
2008
115views more  ALGORITHMICA 2008»
13 years 8 months ago
Algorithm Engineering for Color-Coding with Applications to Signaling Pathway Detection
Color-coding is a technique to design fixed-parameter algorithms for several NP-complete subgraph isomorphism problems. Somewhat surprisingly, not much work has so far been spent ...
Falk Hüffner, Sebastian Wernicke, Thomas Zich...
CCE
2005
13 years 8 months ago
Logic-based outer approximation for globally optimal synthesis of process networks
Process network problems can be formulated as Generalized Disjunctive Programs where a logicbased representation is used to deal with the discrete and continuous decisions. A new ...
María Lorena Bergamini, Pío A. Aguir...
AAAI
1996
13 years 9 months ago
Building Steady-State Simulators via Hierarchical Feedback Decomposition
In recent years, compositional modeling and selfexplanatory simulation techniques have simplified the process of building dynamic simulators of physical systems. Building steady-s...
Nicolas F. Rouquette
TOOLS
1997
IEEE
14 years 20 days ago
A Catalogue of General-Purpose Software Design Patterns
Software design patterns describe proven solutions to recurring software design problems. Knowledge of these patterns increases designers’ abilities, leads to cleaner and more e...
Walter F. Tichy
CAI
2009
Springer
14 years 3 months ago
The Graph Programming Language GP
Abstract. GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handlin...
Detlef Plump