Sciweavers

10907 search results - page 1951 / 2182
» Constraint Based Strategies
Sort
View
CCE
2010
15 years 4 months 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
CJ
2010
150views more  CJ 2010»
15 years 4 months ago
Program Analysis Probably Counts
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
ECAI
2010
Springer
15 years 4 months ago
Integrating Bipolar Fuzzy Mathematical Morphology in Description Logics for Spatial Reasoning
Bipolarity is an important feature of spatial information, involved in the expression of preferences and constraints about spatial positioning or in pairs of opposite spatial relat...
Céline Hudelot, Jamal Atif, Isabelle Bloch
IJSR
2010
153views more  IJSR 2010»
15 years 3 months ago
A Bank of Unscented Kalman Filters for Multimodal Human Perception with Mobile Service Robots
A new generation of mobile service robots could be ready soon to operate in human environments if they can robustly estimate position and identity of surrounding people. Researcher...
Nicola Bellotto, Huosheng Hu
INFORMS
2010
147views more  INFORMS 2010»
15 years 3 months ago
Exact Algorithms for the Quadratic Linear Ordering Problem
The quadratic linear ordering problem naturally generalizes various optimization problems, such as bipartite crossing minimization or the betweenness problem, which includes linear...
Christoph Buchheim, Angelika Wiegele, Lanbo Zheng
« Prev « First page 1951 / 2182 Last » Next »