Sciweavers

935 search results - page 157 / 187
» A Framework for Obfuscated Interpretation
Sort
View
ICDM
2007
IEEE
149views Data Mining» more  ICDM 2007»
14 years 2 months ago
Non-redundant Multi-view Clustering via Orthogonalization
Typical clustering algorithms output a single clustering of the data. However, in real world applications, data can often be interpreted in many different ways; data can have diff...
Ying Cui, Xiaoli Z. Fern, Jennifer G. Dy
VMCAI
2007
Springer
14 years 2 months ago
Lattice Automata
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
Orna Kupferman, Yoad Lustig
BMCBI
2008
114views more  BMCBI 2008»
13 years 8 months ago
A visual analytics approach for understanding biclustering results from microarray data
Background: Microarray analysis is an important area of bioinformatics. In the last few years, biclustering has become one of the most popular methods for classifying data from mi...
Rodrigo Santamaría, Roberto Therón, ...
ENTCS
2000
120views more  ENTCS 2000»
13 years 8 months ago
Efficient Substitution in Hoare Logic Expressions
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
Roberto Virga
SUTC
2010
IEEE
13 years 6 months ago
Effective Metadata Management in Federated Sensor Networks
—As sensor networks become increasingly popular, heterogeneous sensor networks are being interconnected into federated sensor networks and provide huge volumes of sensor data to ...
Hoyoung Jeung, Sofiane Sarni, Ioannis Paparrizos, ...