995 search results - page 50 / 199 » complexity 2011 |
133
Voted
TOCL
2011
14 years 9 months ago
2011
In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the s...
140
Voted
TVCG
2011
14 years 9 months ago
2011
—Direct volume rendering is an important tool for visualizing complex data sets. However, in the process of generating 2D images from 3D data, information is lost in the form of ...
211
Voted
ICCABS
2011
14 years 6 months ago
2011
—Research efforts to analyze biomolecular properties contribute towards our understanding of biomolecular function. Calculating non-bonded forces (or in our case, electrostatic s...
137
Voted
IWC
2011
14 years 5 months ago
2011
The fact that several web accessibility metrics exist may be evidence of a lack of a comparison framework that highlights how well th...
117
click to vote
JCPHY
2011
14 years 5 months ago
2011
A computational approach is introduced for the study of the rheological properties of complex fluids and soft materials. The approach allows for a consistent treatment of microstr...