Sciweavers

1063 search results - page 167 / 213
» Programming Methodologies in GCLA
Sort
View
FLOPS
2008
Springer
13 years 9 months ago
Integrating Answer Set Reasoning with Constraint Solving Techniques
Abstract. The paper introduces a collection of knowledge representation languages, V(C), parametrised over a class C of constraints. V(C) is an extension of both CR-Prolog and CASP...
Veena S. Mellarkod, Michael Gelfond
LREC
2008
104views Education» more  LREC 2008»
13 years 9 months ago
Performance Evaluation of Speech Translation Systems
One of the most challenging tasks for uniformed service personnel serving in foreign countries is effective verbal communication with the local population. To remedy this problem,...
Brian A. Weiss, Craig Schlenoff, Greg Sanders, Mic...
CEC
2010
IEEE
13 years 9 months ago
Providing a memory mechanism to enhance the evolutionary design of heuristics
Genetic programming approaches have previously been employed in the literature to evolve heuristics for various combinatorial optimisation problems. This paper presents a hyper-heu...
Edmund K. Burke, Matthew R. Hyde, Graham Kendall
AUSAI
2006
Springer
13 years 11 months ago
MML Mixture Models of Heterogeneous Poisson Processes with Uniform Outliers for Bridge Deterioration
Effectiveness of maintenance programs of existing concrete bridges is highly dependent on the accuracy of the deterioration parameters utilised in the asset management models of th...
T. Maheswaran, J. G. Sanjayan, David L. Dowe, Pete...
AGP
1995
IEEE
13 years 11 months ago
Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
Roberto Bagnara