Sciweavers

314 search results - page 57 / 63
» Heuristics in Conflict Resolution
Sort
View
92
Voted
JSAT
2008
113views more  JSAT 2008»
14 years 9 months ago
Combining Adaptive and Dynamic Local Search for Satisfiability
In this paper we describe a stochastic local search (SLS) procedure for finding models of satisfiable propositional formulae. This new algorithm, gNovelty+ , draws on the features...
Duc Nghia Pham, John Thornton, Charles Gretton, Ab...
ICASSP
2011
IEEE
14 years 1 months ago
Approximated kernel density estimation for multiple TDOA detection
The Generalized State Coherence Transform (GSCT) has been recently proposed as an efficient tool for the estimation of multidimensional TDOA of multiple sources. The transform de...
Francesco Nesta, Maurizio Omologo
GRAPP
2011
13 years 9 months ago
Animation of Air Bubbles with SPH
We present a physically-based multiphase model for simulating water and air bubbles with Smoothed Particle Hydrodynamics (SPH). Since the high density ratio of air and water is pr...
Markus Ihmsen, Julian Bader, Gizem Akinci, Matthia...
KDD
2009
ACM
198views Data Mining» more  KDD 2009»
15 years 10 months ago
Heterogeneous source consensus learning via decision propagation and negotiation
Nowadays, enormous amounts of data are continuously generated not only in massive scale, but also from different, sometimes conflicting, views. Therefore, it is important to conso...
Jing Gao, Wei Fan, Yizhou Sun, Jiawei Han
VLDB
2007
ACM
104views Database» more  VLDB 2007»
15 years 10 months ago
Extending Dependencies with Conditions
This paper introduces a class of conditional inclusion dependencies (CINDs), which extends traditional inclusion dependencies (INDs) by enforcing bindings of semantically related ...
Loreto Bravo, Wenfei Fan, Shuai Ma