16843 search results - page 2923 / 3369 » On Generalized Authorization Problems |
157
click to vote
IC3
2009
15 years 4 months ago
2009
A convenient mechanism to refer to large biological objects such as sequences, structures and networks is the use of identifiers or handles, commonly called IDs. IDs function as a ...
192
click to vote
ICCAD
2009
IEEE
15 years 4 months ago
2009
IEEE
A parallel computing approach for large-scale SPICE-accurate circuit simulation is described that is based on a new preconditioned iterative solver. The preconditioner involves the...
172
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Recent studies have revealed the importance of considering the entire distribution of possible secondary structures in RNA secondary structure predictions; therefore, ...
190
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Many-to-one matching markets exist in numerous different forms, such as college admissions, matching medical interns to hospitals for residencies, assigning housing to college st...
223
click to vote
JAIR
2011
15 years 1 months ago
2011
In this paper, we propose a comprehensive study of second-order consistencies (i.e., consistencies identifying inconsistent pairs of values) for constraint satisfaction. We build ...