12981 search results - page 2451 / 2597 » Model Checking and Abstraction |
120
click to vote
RECOMB
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. So far, most methods for identifying sequences under selection based on comparative sequence data have either assumed selectional pressures are the same across all branch...
117
click to vote
RECOMB
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. Transcriptional interactions in a cell are modulated by a variety of mechanisms that prevent their representation as pure pairwise interactions between a transcription fa...
114
click to vote
RECOMB
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Asymmetric functional divergence of paralogues is a key aspect of the traditional model of evolution following duplication. If one gene continues to perform the ancestral...
110
click to vote
STOC
2006
ACM
16 years 1 months ago
2006
ACM
d Abstract] Dana Angluin James Aspnes Jiang Chen Yinghua Wu We propose a new model for exact learning of acyclic circuits using experiments in which chosen values may be assigned ...
111
click to vote
ICALP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In experimental psychology, the method of paired comparisons was proposed as a means for ranking preferences amongst n elements of a human subject. The method requires pe...