Sciweavers

728 search results - page 28 / 146
» Improving process models by discovering decision points
Sort
View
FMCAD
2007
Springer
14 years 15 days ago
Boosting Verification by Automatic Tuning of Decision Procedures
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...
Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan ...
DAGM
2010
Springer
13 years 9 months ago
Gaussian Mixture Modeling with Gaussian Process Latent Variable Models
Density modeling is notoriously difficult for high dimensional data. One approach to the problem is to search for a lower dimensional manifold which captures the main characteristi...
Hannes Nickisch, Carl Edward Rasmussen
CLOUDCOM
2010
Springer
13 years 6 months ago
Voronoi-Based Geospatial Query Processing with MapReduce
Geospatial queries (GQ) have been used in a wide variety of applications such as decision support systems, profile-based marketing, bioinformatics and GIS. Most of the existing qu...
Afsin Akdogan, Ugur Demiryurek, Farnoush Banaei Ka...
ICIP
2006
IEEE
14 years 10 months ago
Video-Based Rendering using Feature Point Evolution
1 We propose a novel video-based rendering algorithm with a single moving camera. We reconstruct a dynamic 3D model of the scene with a feature point set that "evolves" o...
Wende Zhang, Tsuhan Chen
ICNC
2009
Springer
14 years 1 months ago
Knowledge Acquisition Approach Based on Rough Set and Artificial Neural Network in Product Design Process
In this paper, product structure is taken as knowledge acquisition point, and the effective knowledge acquisition path is discussed by establishing the associated relationship bet...
Changfeng Yuan, Wanlei Wang, Yan Chen