880 search results - page 171 / 176 » Model checking erlang programs: the functional approach |
176
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Minimotifs are short peptide sequences within one protein, which are recognized by other proteins or molecules. While there are now several minimotif databases, they a...
142
Voted
LCTRTS
2004
Springer
15 years 9 months ago
2004
Springer
Application specific instruction-set processors combine an efficient general purpose core with special purpose functionality that is tailored to a particular application domain. ...
107
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: FREGENE simulates sequence-level data over large genomic regions in large populations. Because, unlike coalescent simulators, it works forwards through time, it allows...
125
Voted
WWW
2007
ACM
16 years 4 months ago
2007
ACM
A key challenge for dynamic Web service selection is that Web services are typically highly configurable and service requesters often have dynamic preferences on service configura...
142
Voted
FOCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Robust optimization has traditionally focused on uncertainty in data and costs in optimization problems to formulate models whose solutions will be optimal in the worstcase among ...