626 search results - page 124 / 126 » When Can Formal Methods Make a Real Difference |
125
Voted
NIPS
2004
15 years 4 months ago
2004
Alternative splicing (AS) is an important and frequent step in mammalian gene expression that allows a single gene to specify multiple products, and is crucial for the regulation ...
126
Voted
BMCBI
2011
14 years 10 months ago
2011
Background: Designing maximally selective ligands that act on individual targets is the dominant paradigm in drug discovery. Poor selectivity can underlie toxicity and side effect...
223
Voted
SIGMOD
2008
ACM
16 years 3 months ago
2008
ACM
Supporting ranking queries in database systems has been a popular research topic recently. However, there is a lack of study on supporting ranking queries in data warehouses where...
141
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Methods for solving Distributed Constraint Optimization Problems (DCOP) have emerged as key techniques for distributed reasoning. Yet, their application faces significant hurdles...
152
click to vote
IEEEPACT
2002
IEEE
15 years 8 months ago
2002
IEEE
Modern embedded systems often require high degrees of instruction-level parallelism (ILP) within strict constraints on power consumption and chip cost. Unfortunately, a high-perfo...