Sciweavers

2366 search results - page 367 / 474
» Pfaffian Hybrid Systems
Sort
View
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
CGF
2010
210views more  CGF 2010»
15 years 6 months ago
Fast and Scalable CPU/GPU Collision Detection for Rigid and Deformable Surfaces
We present a new hybrid CPU/GPU collision detection technique for rigid and deformable objects based on spatial subdivision. Our approach efficiently exploits the massive computat...
Simon Pabst, Artur Koch, Wolfgang Straßer