757 search results - page 87 / 152 » Monte Carlo Model Checking |
121
Voted
ICDE
2010
IEEE
15 years 7 months ago
2010
IEEE
Mashups are situational applications that build data flows to link the contents of multiple Web sources. Often times, ranking the results of a mashup is handled in a materializethe...
114
Voted
ASPDAC
1999
ACM
15 years 7 months ago
1999
ACM
In the past two decades, the simulated annealing technique has been considered as a powerful approach to handle many NP-hard optimization problems in VLSI designs. Recently, a new...
121
click to vote
CMSB
2004
Springer
15 years 6 months ago
2004
Springer
We propose a robust estimation method of gene networks based on microarray gene expression data. It is well-known that microarray data contain a large amount of noise and some outl...
105
Voted
SIGGRAPH
1997
ACM
15 years 6 months ago
1997
ACM
We introduce a new class of primitive functions with non-linear parameters for representing light reflectance functions. The functions are reciprocal, energy-conserving and expres...
140
Voted
SODA
2008
ACM
15 years 4 months ago
2008
ACM
We resolve two long-standing open problems in distributed computation by describing polylogarithmic protocols for Byzantine agreement and leader election in the asynchronous full ...