Sciweavers

2377 search results - page 369 / 476
» Hybrid Systems in TLA
Sort
View
WCE
2007
15 years 7 months ago
Optimizing Designs based on Risk Approach
— In this paper a new approach to optimize nuclear power plant designs based on global risk reduction are described. In design the focus is on as components quality as redundancy...
Jorge E. Núñez Mc Leod, Selva S. Riv...
ERCIMDL
2010
Springer
151views Education» more  ERCIMDL 2010»
15 years 7 months ago
DiLiA - The Digital Library Assistant
In this paper we present the digital library assistant (DiLiA). The system aims at augmenting the search in digital libraries in several dimensions. In the project advanced informa...
Kathrin Eichler, Holmer Hemsen, Günter Neuman...
DICTA
2009
15 years 7 months ago
SIFTing the Relevant from the Irrelevant: Automatically Detecting Objects in Training Images
Many state-of-the-art object recognition systems rely on identifying the location of objects in images, in order to better learn its visual attributes. In this paper, we propose fo...
Edmond Zhang, Michael Mayo
CAV
2010
Springer
156views Hardware» more  CAV 2010»
15 years 6 months ago
A Logical Product Approach to Zonotope Intersection
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
Khalil Ghorbal, Eric Goubault, Sylvie Putot
GECCO
2010
Springer
213views Optimization» more  GECCO 2010»
15 years 6 months ago
Consultant-guided search algorithms for the quadratic assignment problem
Abstract. Consultant-Guided Search (CGS) is a recent swarm intelligence metaheuristic for combinatorial optimization problems, inspired by the way real people make decisions based ...
Serban Iordache