Sciweavers

232 search results - page 47 / 47
» Using logical relevance for question answering
Sort
View
FMSD
2010
118views more  FMSD 2010»
13 years 3 months ago
On simulation-based probabilistic model checking of mixed-analog circuits
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...
Edmund M. Clarke, Alexandre Donzé, Axel Leg...
CORR
2007
Springer
122views Education» more  CORR 2007»
13 years 5 months ago
Social Media as Windows on the Social Life of the Mind
This is a programmatic paper, marking out two directions in which the study of social media can contribute to broader problems of social science: understanding cultural evolution ...
Cosma Rohilla Shalizi