6020 search results - page 561 / 1204 » A New Approach to Model Counting |
186
click to vote
SEFM
2005
IEEE
16 years 22 days ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
192
click to vote
BNCOD
2004
15 years 8 months ago
2004
A student with a Computing Science degree is expected to have reached a reasonable level of expertise in SQL. SQL is a non-trivial skill to master and is taught with different degr...
234
click to vote
FLAIRS
2000
15 years 8 months ago
2000
Today's driving simulators are used in vehicle research and design as well as in training. However, most simulators are not convincing because the degree of realism is not ad...
220
click to vote
DAC
2008
ACM
16 years 8 months ago
2008
ACM
The threshold voltage (Vth) of a nanoscale transistor is severely affected by random dopant fluctuations and line-edge roughness. The analysis of these effects usually requires at...
203
click to vote
PDP
2007
IEEE
16 years 1 months ago
2007
IEEE
The success of groupware software largely depends on its capability for being reused in different collaborative scenarios without requiring significant software development effort...