1355 search results - page 188 / 271 » Alternating Timed Automata over Bounded Time |
138
Voted
ISPASS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— This work concerns metrics for evaluating microarchitectural enhancements to improve processor lifetime reliability. A commonly reported reliability metric is mean time...
143
Voted
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— Consider a generic data unit of random size L that needs to be transmitted over a channel of unit capacity. The channel dynamics is modeled as an on-off process {(Ai, Ui)}i≥1...
131
Voted
ACL
1994
15 years 5 months ago
1994
This paper shows how to formally characterize language learning in a finite parameter space as a Markov structure, hnportant new language learning results follow directly: explici...
134
Voted
JCB
2006
15 years 3 months ago
2006
A commonly used tool in disease association studies is the search for discrepancies between the haplotype distribution in the case and control populations. In order to find this d...
156
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: Regions of interest identified through genetic linkage studies regularly exceed 30 centimorgans in size and can contain hundreds of genes. Traditionally this number is...