855 search results - page 155 / 171 » Complexity of Equations over Sets of Natural Numbers |
162
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: The SH3 domain family is one of the most representative and widely studied cases of so-called Peptide Recognition Modules (PRM). The polyproline II motif PxxP that gen...
159
click to vote
STOC
2009
ACM
16 years 6 months ago
2009
ACM
d Abstract] Virginia Vassilevska School of Mathematics Institute for Advanced Study Princeton, NJ 08540 USA virgi@math.ias.edu Ryan Williams School of Mathematics Institute for Adv...
180
Voted
CISS
2007
IEEE
16 years 12 days ago
2007
IEEE
— We study the case of a single transmitter, which communicates to two co-located users, through an independent block Rayleigh fading channel. The co-location nature of the users...
173
click to vote
CVPR
2007
IEEE
16 years 12 days ago
2007
IEEE
Energy-minimizing active contour models (snakes) have been proposed for solving many computer vision problems such as object segmentation, surface reconstruction, and object track...
154
click to vote
CHARME
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...