757 search results - page 87 / 152 » Monte Carlo Model Checking |
169
click to vote
ICDE
2010
IEEE
15 years 10 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...
148
click to vote
ASPDAC
1999
ACM
15 years 10 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...
166
click to vote
CMSB
2004
Springer
15 years 9 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...
150
click to vote
SIGGRAPH
1997
ACM
15 years 9 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...
193
click to vote
SODA
2008
ACM
15 years 7 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 ...