205 search results - page 36 / 41 » The Use of a Formal Representation of Accounting Standards |
LPNMR
2001
Springer
13 years 11 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
ECIR
2007
Springer
13 years 8 months ago
2007
Springer
Measuring the similarity between documents and queries has been extensively studied in information retrieval. However, there are a growing number of tasks that require computing th...
SIGMOD
2011
ACM
12 years 9 months ago
2011
ACM
Projective Clustering Ensembles (PCE) are a very recent advance in data clustering research which combines the two powerful tools of clustering ensembles and projective clustering...
EC
2007
13 years 6 months ago
2007
Geometric crossover is a representation-independent generalization of the traditional crossover defined using the distance of the solution space. By choosing a distance firmly r...
KCAP
2005
ACM
14 years 8 days ago
2005
ACM
Our ongoing work aims at defining an ontology-centered approach for building expertise models for the CommonKADS methodology. This approach (which is named "OntoKADS") i...