Sciweavers

95 search results - page 13 / 19
» Complement union for data integration
Sort
View
ICMLC
2010
Springer
13 years 8 months ago
An integrity-based fuzzy c-means method resolving cluster size sensitivity problem
: Cluster size insensitive FCM (csiFCM) dynamically adjusts the membership value of each object based on the size of the cluster to which it is assigned after defuzzification to re...
Y. H. Lai, P. W. Huang, P. L. Lin
ATVA
2006
Springer
191views Hardware» more  ATVA 2006»
14 years 1 months ago
Automatic Verification of Hybrid Systems with Large Discrete State Space
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang,...
IEEEARES
2010
IEEE
14 years 4 months ago
Patterns for Secure Boot and Secure Storage in Computer Systems
—Trusted Computing aims at enhancing the security of IT systems by using a combination of trusted hardware and software components to provide security guarantees. This includes s...
Hans Löhr, Ahmad-Reza Sadeghi, Marcel Winandy
WS
2008
ACM
13 years 9 months ago
The semantic web as a newspaper media convergence facilitator
Newspapers are evolving and this causes great changes in how newspapers reach their consumers, but also in how newspapers work internally. Advanced computerised support is needed ...
Roberto García, Ferran Perdrix, Rosa Gil, M...
APCCM
2009
13 years 11 months ago
Multi-Level Domain Modeling with M-Objects and M-Relationships
Using traditional semantic data modeling, multi-level modeling can be achieved by representing objects in different abstraction hierarchies, namely classification, aggregation and...
Bernd Neumayr, Katharina Grün, Michael Schref...