Sciweavers

5289 search results - page 323 / 1058
» Evolutionary Computation for Modeling and Optimization
Sort
View
CAV
2009
Springer
184views Hardware» more  CAV 2009»
16 years 7 months ago
Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
Vineet Kahlon, Chao Wang, Aarti Gupta
TVCG
2012
218views Hardware» more  TVCG 2012»
13 years 9 months ago
Flow-Based Local Optimization for Image-to-Geometry Projection
—The projection of a photographic dataset on a 3D model is a robust and widely applicable way to acquire appearance information of an object. The first step of this procedure is...
Matteo Dellepiane, Ricardo Marroquim, Marco Callie...
ICCS
2009
Springer
16 years 1 months ago
Hierarchical Modelling and Model Adaptivity for Gas Flow on Networks
We are interested in the simulation and optimization of gas transport in networks. Different regions of the network may be modelled by different equations. There are three models...
Pia Bales, Oliver Kolb, Jens Lang
COR
2008
128views more  COR 2008»
15 years 6 months ago
Solving dynamic stochastic economic models by mathematical programming decomposition methods
Discrete-time optimal control problems arise naturally in many economic problems. Despite the rapid growth in computing power and new developments in the literature, many economic...
Mercedes Esteban-Bravo, Francisco J. Nogales
BMVC
2002
15 years 9 months ago
g-HDAF Multiresolution Deformable Models for Shape Modeling and Reconstruction
In this paper, we construct a new class of deformable models using new biorthogonal wavelets, named Generalized Hermite Distributed Approximating Functional (g-HDAF) Wavelets. The...
Ioannis A. Kakadiaris, Emmanuel Papadakis, Lixin S...