Sciweavers

9719 search results - page 551 / 1944
» Inference for Multiplicative Models
Sort
View
147
Voted
GECCO
2004
Springer
109views Optimization» more  GECCO 2004»
15 years 11 months ago
Tackling an Inverse Problem from the Petroleum Industry with a Genetic Algorithm for Sampling
Abstract. When direct measurement of model parameters is not possible, these need to be inferred indirectly from calibration data. To solve this inverse problem, an algorithm that ...
Pedro J. Ballester, Jonathan N. Carter
MKM
2004
Springer
15 years 11 months ago
Predicate Logic with Sequence Variables and Sequence Function Symbols
We describe an extension of first-order logic with sequence variables and sequence functions. We define syntax, semantics and inference system for the extension so that Completen...
Temur Kutsia, Bruno Buchberger
GMP
2002
IEEE
116views Solid Modeling» more  GMP 2002»
15 years 11 months ago
Applying Knowledge to Reverse Engineering Problems
This paper summarizes a series of recent research results made at Edinburgh University based on projects that apply domain knowledge of standard shapes and relationships to solve ...
Robert B. Fisher
FSTTCS
1999
Springer
15 years 10 months ago
A Foundation for Hybrid Knowledge Bases
Abstract. Hybrid knowledge bases (HKB’s) [11] were developed to provide formal models for the mediation of data and knowledge bases [14,15]. They are based on Generalized Annotat...
James J. Lu, Neil V. Murray, Erik Rosenthal
DIAGRAMS
2008
Springer
15 years 8 months ago
Estimating Effort for Trend Messages in Grouped Bar Charts
Abstract. Information graphics found in popular media contain communicative signals which help the viewer infer the graphic designer's intended message. One signal is the rela...
Richard Burns, Stephanie Elzer, Sandra Carberry