Sciweavers

Share
SAC
2010
ACM
7 years 5 months ago
Probabilistic relabelling strategies for the label switching problem in Bayesian mixture models
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...
M. Sperrin, Thomas Jaki, E. Wit
SAC
2010
ACM
7 years 5 months ago
Bilinear modulation models for seasonal tables of counts
Brian D. Marx, Paul H. C. Eilers, Jutta Gampe, Rol...
SAC
2010
ACM
7 years 5 months ago
A study on interestingness measures for associative classifiers
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...
Mojdeh Jalali Heravi, Osmar R. Zaïane
SAC
2010
ACM
7 years 5 months ago
Convex onion peeling genetic algorithm: an efficient solution to map labeling of point-feature
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 ...
Wan D. Bae, Shayma Alkobaisi, Petr Vojtechovsk&yac...
SAC
2010
ACM
7 years 5 months ago
Inter-DSL coordination support by combining megamodeling and model weaving
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...
Frédéric Jouault, Bert Vanhooff, Hug...
SAC
2010
ACM
7 years 5 months ago
Improving complex distributed software system availability through information hiding
Li Wang, Yair Leiferman, Shangping Ren, Kevin A. K...
SAC
2010
ACM
7 years 5 months ago
Similar triangles and orientation in plane elementary geometry for Coq-based proofs
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...
Tuan Minh Pham
SAC
2010
ACM
7 years 5 months ago
A new methodology for photometric validation in vehicles visual interactive systems
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...
Alexandre W. C. Faria, David Menotti, Daniel S. D....
SAC
2010
ACM
7 years 5 months ago
Detecting metamorphic malwares using code graphs
Jusuk Lee, Kyoochang Jeong, Heejo Lee
SAC
2010
ACM
7 years 8 months ago
A machine-checked soundness proof for an efficient verification condition generator
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...
Frédéric Vogels, Bart Jacobs 0002, F...
books