6020 search results - page 682 / 1204 » A New Approach to Model Counting |
258
click to vote
CSFW
2012
IEEE
13 years 10 months ago
2012
IEEE
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...
245
click to vote
AAAI
2006
15 years 9 months ago
2006
We describe an approach to distributed knowledge acquisition using an ontology. The ontology is used to represent and reason about soldier performance. These methods are embedded ...
186
Voted
BMCBI
2008
15 years 7 months ago
2008
Background: Modelling proteins with multiple domains is one of the central challenges in Structural Biology. Although homology modelling has successfully been applied for predicti...
230
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Signal transduction pathways are usually modelled using classical quantitative methods, which are based on ordinary differential equations (ODEs). However, some diffic...
235
click to vote
TOG
2012
13 years 10 months ago
2012
Woven fabrics have a wide range of appearance determined by their small-scale 3D structure. Accurately modeling this structural detail can produce highly realistic renderings of f...