Sciweavers

912 search results - page 87 / 183
» Abstract Saturation-Based Inference
Sort
View
ECAI
2004
Springer
15 years 8 months ago
Temporal Plan Interdependencies
Abstract. Asbru is a complex formal language developed to represent clinical guidelines and protocols which are time- and processoriented. To facilitate and support the modeling in...
Katharina Kaiser, Silvia Miksch
EWCBR
2004
Springer
15 years 8 months ago
TempoExpress, a CBR Approach to Musical Tempo Transformations
Abstract. In this paper, we describe a CBR system for applying musically acceptable tempo transformations to monophonic audio recordings of musical performances. Within the tempo t...
Maarten Grachten, Josep Lluís Arcos, Ramon ...
104
Voted
GECCO
2004
Springer
109views Optimization» more  GECCO 2004»
15 years 8 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
RSCTC
2004
Springer
134views Fuzzy Logic» more  RSCTC 2004»
15 years 8 months ago
Rough Set Methods in Approximation of Hierarchical Concepts
Abstract. Many learning methods ignore domain knowledge in synthesis of concept approximation. We propose to use hierarchical schemes for learning approximations of complex concept...
Jan G. Bazan, Sinh Hoa Nguyen, Hung Son Nguyen, An...
ECSQARU
1999
Springer
15 years 7 months ago
Connecting Lexicographic with Maximum Entropy Entailment
Abstract. This paper reviews and relates two default reasoning mechanisms, lexicographic (lex) and maximum entropy (me) entailment. Meentailment requires that defaults be assigned ...
Rachel A. Bourne, Simon Parsons