741 search results - page 34 / 149 » Testing in the year 2020 |
108
click to vote
DAC
1990
ACM
15 years 5 months ago
1990
ACM
Symbolic simulation involves evaluating circuit behavior using special symbolic values to encode a range of circuit operating conditions. In one simulation run, a symbolic simulat...
NIPS
2000
15 years 2 months ago
2000
Many processes in biology, from the regulation of gene expression in bacteria to memory in the brain, involve switches constructed from networks of biochemical reactions. Crucial ...
122
click to vote
IJCAI
1997
15 years 2 months ago
1997
The past several years have seen much progress in the area of propositional reasoning and satisfiability testing. There is a growing consensus by researchers on the key technical ...
PERCOM
2006
ACM
16 years 29 days ago
2006
ACM
In recent years, rapid technological advances have changed how many existing tasks are performed. For example, the combination of virtual environments and the Internet is presenti...
106
click to vote
GCB
2009
Springer
15 years 8 months ago
2009
Springer
: A wealth of time series of microarray measurements have become available over recent years. Several two-sample tests for detecting differential gene expression in these time seri...