3082 search results - page 383 / 617 » Deviation Analysis: A New Use of Model Checking |
183
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Microarray technology allows the simultaneous analysis of thousands of genes within a single experiment. Significance analyses of transcriptomic data ignore the gene d...
166
click to vote
SAC
2006
ACM
16 years 14 days ago
2006
ACM
: In chip design, one of the main objectives is to decrease its clock cycle; however, the existing approaches to timing analysis under uncertainty are based on fundamentally restri...
179
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
The concept of system-on-a-chip is becoming increasingly popular for the integration of complex systems. New types of processor cores are now available that enable the designer to...
164
click to vote
BCSHCI
2008
15 years 8 months ago
2008
The aim of the tutorial is to help researchers, particularly early career researchers, to develop the appropriate skills to make a useful research contribution to Human-Computer I...
192
click to vote
TSP
2010
15 years 1 months ago
2010
Graphical models are a framework for representing and exploiting prior conditional independence structures within distributions using graphs. In the Gaussian case, these models are...