1312 search results - page 120 / 263 » Formally Optimal Boxing |
EWCBR
2008
Springer
13 years 11 months ago
2008
Springer
Conservative adaptation consists in a minimal change on a source case to be consistent with the target case, given the domain knowledge. It has been formalised in a previous work t...
FMCAD
2008
Springer
13 years 11 months ago
2008
Springer
Performing synthesis and verification in isolation has two undesirable consequences: (1) verification runs the risk of becoming intractable, and (2) strong sequential optimization...
AAAI
2004
13 years 10 months ago
2004
We introduce mCP nets, an extension of the CP net formalism to model and handle the qualitative and conditional preferences of multiple agents. We give a number of different seman...
EUSFLAT
2003
13 years 10 months ago
2003
We present a formal description of a neurofuzzy system capable of aligning two sequences recognizing their internal structure. The alignment is done on two levels: grouping of the...
AAAI
2000
13 years 10 months ago
2000
Logics for knowledge representation suffer from overspecialization: while each logic may provide an ideal representation formalism for some problems, it is less than optimal for o...