4586 search results - page 205 / 918 » Computing stable models in parallel |
131
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
The prediction of the native structures of proteins, the socalled protein folding problem, is a NP hard multi-minima optimization problem for which to date no routine solutions ex...
136
click to vote
ICNP
2002
IEEE
15 years 8 months ago
2002
IEEE
The Multi Exit Discriminator (MED) attribute of the Border Gateway Protocol (BGP) is widely used to implement “cold potato routing” between autonomous systems. However, the us...
174
click to vote
CGI
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper gives an overview of some recent methods useful for local and global shape analysis and for the design of solids. These methods include as new tools for global and loca...
118
click to vote
IPPS
1996
IEEE
15 years 8 months ago
1996
IEEE
The multipass-rendering method integrating radiosity with ray-tracing gives one of the best solutions for synthesizing photo-realistic images. However, the method is also computat...
143
click to vote
QEST
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...