6608 search results - page 1204 / 1322 » On the Completeness of Model Checking |
160
click to vote
TOG
2002
15 years 3 months ago
2002
Surface geometry is often modeled with irregular triangle meshes. The process of remeshing refers to approximating such geometry using a mesh with (semi)-regular connectivity, whi...
126
click to vote
MJ
2007
15 years 3 months ago
2007
Recent algorithmic advances in Boolean satisfiability (SAT), along with highly efficient solver implementations, have enabled the successful deployment of SAT technology in a wi...
111
Voted
NAR
2007
15 years 3 months ago
2007
Information on protein–protein interactions is still mostly limited to a small number of model organisms, and originates from a wide variety of experimental and computational te...
155
click to vote
NETWORKS
2007
15 years 3 months ago
2007
We study the problem of designing a survivable WDM network based on covering the communication requests with subnetworks that are protected independently from each other. We consi...
143
Voted
NGC
2007
Springer
15 years 3 months ago
2007
Springer
Abstract Understanding potential genetic factors in disease or development of personalised e-Health solutions require scientists to access a multitude of data and compute resources...