437 search results - page 46 / 88 » Resource-efficient computing paradigm for computational prot... |
CHINZ
2006
ACM
14 years 1 months ago
2006
ACM
Although the 2D desktop metaphor has been the dominating paradigm of user interfaces for over two decades, 3D models of interaction are becoming more feasible due to advances in c...
AAAI
2007
13 years 10 months ago
2007
The importance of the efforts towards integrating the symbolic and connectionist paradigms of artificial intelligence has been widely recognised. Integration may lead to more e...
LION
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Substitution matrices are at the heart of Bioinformatics: sequence alignment, database search, phylogenetic inference, protein family classi cation are based on Blosum, P...
ISBI
2007
IEEE
14 years 2 months ago
2007
IEEE
Three-dimensional mammary cell culture models offer new opportunities for the development of computational techniques for segmentation, localization, and multicellular organizatio...
ICCAD
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...