2478 search results - page 27 / 496 » Quadtrees as an Abstract Domain |
RULEML
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In this survey paper we summarize the requirements for rule interchange languages for applications in the legal domain and use these requirements to evaluate RuleML, SBVR...
AAECC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We generalize Sudan’s list decoding algorithm without multiplicity to evaluation codes coming from arbitrary order domains. The number of correctable errors by the prop...
ICA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper, the authors address the permutation ambiguity that exists in frequency domain Independent Component Analysis of convolutive mixtures. Many methods have bee...
CIE
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. Effective domain theory is applied to fuzzy logic to give suitable notions of semi-decidable and decidable L-subset. The connection with the notions of fuzzy Turing machi...
SPLC
2000
13 years 9 months ago
2000
Abstract: This paper describes the experiences of a small team of domain experts in reengineering the configuration control software for the 5ESS