5544 search results - page 394 / 1109 » Three Inadequate Models |
206
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
167
click to vote
PICS
2001
15 years 8 months ago
2001
In 1998, a Technical Committee 8-04 was formed in CIE/Division 8, "to investigate the state of adaptation of the visual system when comparing soft-copy images on selfluminous...
172
click to vote
BMCBI
2010
2010
KiDoQ: using docking based energy scores to develop ligand based model for predicting antibacterials
15 years 7 months ago
Background: Identification of novel drug targets and their inhibitors is a major challenge in the field of drug designing and development. Diaminopimelic acid (DAP) pathway is a u...
190
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: With the abundant information produced by microarray technology, various approaches have been proposed to infer transcriptional regulatory networks. However, few appro...
210
click to vote
CGF
2010
15 years 6 months ago
2010
We present a novel image-based technique for modeling complex unfoliaged trees. Existing tree modeling tools either require capturing a large number of views for dense 3D reconstr...