12783 search results - page 412 / 2557 » Experimenting with computing |
235
click to vote
VISUALIZATION
2002
IEEE
15 years 11 months ago
2002
IEEE
Comparative evaluation of visualization and experiment results is a critical step in computational steering. In this paper, we present a study of image comparison metrics for quan...
161
click to vote
ASPDAC
2004
ACM
16 years 5 days ago
2004
ACM
— This paper focuses on checking safety properties for sequential circuits specified on the RTlevel. We study how different state encodings can be used to create a gate-level r...
178
click to vote
CSCLP
2004
Springer
16 years 4 days ago
2004
Springer
We propose four new structural decomposition techniques for Constraint Satisfaction Problems. We compare these four techniques both theoretically and experimentally with hinge deco...
149
click to vote
DATE
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper focuses on checking safety properties for sequential circuits specified on the RT-level. We study how different state encodings can be used to create a gate-level repr...
157
click to vote
COLT
2008
Springer
15 years 8 months ago
2008
Springer
Inspired by longstanding lines of research in sociology and related fields, and by more recent largepopulation human subject experiments on the Internet and the Web, we initiate a...