Sciweavers

5622 search results - page 845 / 1125
» Solving architectural modelling problems using knowledge
Sort
View
ASE
1998
81views more  ASE 1998»
15 years 4 months ago
Program Understanding as Constraint Satisfaction: Representation and Reasoning Techniques
The process of understanding a source code in a high-level programming language involves complex computation. Given a piece of legacy code and a library of program plan templates, ...
Steven G. Woods, Qiang Yang
KDD
2009
ACM
172views Data Mining» more  KDD 2009»
15 years 11 months ago
The role of game theory in human computation systems
The paradigm of “human computation” seeks to harness human abilities to solve computational problems or otherwise perform distributed work that is beyond the scope of current ...
Shaili Jain, David C. Parkes
CP
2007
Springer
15 years 11 months ago
Propagation = Lazy Clause Generation
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...
Olga Ohrimenko, Peter J. Stuckey, Michael Codish
INTERSPEECH
2010
14 years 12 months ago
A novel hybrid approach for Mandarin speech synthesis
The paper investigates a new method to solve concatenation problems of Mandarin speech synthesis which is based on the hybrid approach of HMM-based speech synthesis and unit selec...
Shifeng Pan, Meng Zhang, Jianhua Tao
196
Voted
CVPR
2009
IEEE
17 years 4 days ago
Continuous Ratio Optimization via Convex Relaxation with Applications to Multiview 3D Reconstruction
We introduce a convex relaxation framework to optimally minimize continuous surface ratios. The key idea is to minimize the continuous surface ratio by solving a sequence of con...
Kalin Kolev (University of Bonn), Daniel Cremers (...