Sciweavers

1341 search results - page 141 / 269
» Logic for Modeling Product Structure
Sort
View
121
Voted
CCE
2010
15 years 27 days ago
Combined mass and energy integration in process design at the example of membrane-based gas separation systems
This paper presents an approach for combined mass and energy integration in process synthesis and illustrates it at the thermochemical production of crude synthetic natural gas (S...
Martin Gassner, François Maréchal
139
Voted
LICS
2006
IEEE
15 years 9 months ago
Fixed-Parameter Hierarchies inside PSPACE
Treewidth measures the ”tree-likeness” of structures. Many NP-complete problems, e.g., propositional satisfiability, are tractable on bounded-treewidth structures. In this wo...
Guoqiang Pan, Moshe Y. Vardi
ER
2000
Springer
112views Database» more  ER 2000»
15 years 7 months ago
Ontological Analysis of Taxonomic Relationships
Taxonomies are an important part of conceptual modeling. They provide substantial structural information, and are typically the key elements in integration eorts, however there ha...
Nicola Guarino, Christopher A. Welty
131
Voted
CDC
2009
IEEE
147views Control Systems» more  CDC 2009»
15 years 1 months ago
A probabilistic approach for control of a stochastic system from LTL specifications
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
Morteza Lahijanian, Sean B. Andersson, Calin Belta
123
Voted
FUZZIEEE
2007
IEEE
15 years 5 months ago
Consistent, Complete and Compact Generation of DNF-type Fuzzy Rules by a Pittsburgh-style Genetic Algorithm
When a flexible fuzzy rule structure such as those with antecedent in conjunctive normal form is used, the interpretability of the obtained fuzzy model is significantly improved. H...
Jorge Casillas, Pedro Martínez