SAC
2010
ACM
12 years 11 months ago
2010
ACM
The label switching problem is caused by the likelihood of a Bayesian mixture model being invariant to permutations of the labels. The permutation can change multiple times betwee...
SAC
2010
ACM
12 years 11 months ago
2010
ACM
SAC
2010
ACM
12 years 11 months ago
2010
ACM
Associative classification is a rule-based approach to classify data relying on association rule mining by discovering associations between a set of features and a class label. Su...
SAC
2010
ACM
12 years 11 months ago
2010
ACM
Map labeling of point-feature is the problem of placing text labels to corresponding point features on a map in a way that minimizes overlaps while satisfying basic rules for the ...
SAC
2010
ACM
12 years 11 months ago
2010
ACM
Model-Driven Engineering (MDE) advocates the use of models at every step of the software development process. Within this context, a team of engineers collectively and collaborati...
SAC
2010
ACM
12 years 11 months ago
2010
ACM
SAC
2010
ACM
12 years 11 months ago
2010
ACM
In plane elementary geometry, the concept of similar triangles not only forms an important foundation for trigonometry, but it also can be used to solve many geometric problems. T...
SAC
2010
ACM
12 years 11 months ago
2010
ACM
This work proposes a new methodology for automatically validating the internal lighting system of an automotive, i.e., assessing the visual quality of an instrument cluster (IC) f...
SAC
2010
ACM
12 years 11 months ago
2010
ACM
SAC
2010
ACM
13 years 2 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...