Sciweavers

834 search results - page 118 / 167
» A Decomposition Technique for Max-CSP
Sort
View
MPC
2010
Springer
246views Mathematics» more  MPC 2010»
13 years 12 months ago
Abstraction of Object Graphs in Program Verification
ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...
Yifeng Chen, Jeff W. Sanders
BMCBI
2010
144views more  BMCBI 2010»
13 years 10 months ago
Super-sparse principal component analyses for high-throughput genomic data
Background: Principal component analysis (PCA) has gained popularity as a method for the analysis of highdimensional genomic data. However, it is often difficult to interpret the ...
Donghwan Lee, Woojoo Lee, Youngjo Lee, Yudi Pawita...
CORR
2008
Springer
116views Education» more  CORR 2008»
13 years 10 months ago
Learning to rank with combinatorial Hodge theory
Abstract. We propose a number of techniques for learning a global ranking from data that may be incomplete and imbalanced -- characteristics that are almost universal to modern dat...
Xiaoye Jiang, Lek-Heng Lim, Yuan Yao, Yinyu Ye
TWC
2008
135views more  TWC 2008»
13 years 9 months ago
Optimal Distributed Stochastic Routing Algorithms for Wireless Multihop Networks
A novel framework was introduced recently for stochastic routing in wireless multihop networks, whereby each node selects a neighbor to forward a packet according to a probability...
Alejandro Ribeiro, Nikolas D. Sidiropoulos, Georgi...
IJAIT
2002
92views more  IJAIT 2002»
13 years 9 months ago
Extensible Information Brokers
The number and size of information services available on the internet has been growing exponentially over the past few years. This growth has created an urgent need for information...
Jianguo Lu, John Mylopoulos