671 search results - page 102 / 135 » Computer Aided Modelling Exercises |
TAP
2010
Springer
13 years 7 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
ICDE
2011
IEEE
13 years 1 months ago
2011
IEEE
—An important facility to aid keyword search on XML data is suggesting alternative queries when user queries contain typographical errors. Query suggestion thus can improve users...
SIGGRAPH
1996
ACM
14 years 1 months ago
1996
ACM
Recent progress in acquiring shape from range data permits the acquisition of seamless million-polygon meshes from physical models. In this paper, we present an algorithm and syst...
AVI
2004
13 years 11 months ago
2004
Understanding complex 3D virtual models can be difficult, especially when the model has interior components not initially visible and ancillary text. We describe new techniques fo...
BMCBI
2005
13 years 9 months ago
2005
Background: Profile hidden Markov model (HMM) techniques are among the most powerful methods for protein homology detection. Yet, the critical features for successful modelling ar...