261 search results - page 22 / 53 » synthese 2010 |
SYNTHESE
2010
13 years 5 months ago
2010
We argue that current discussions of criteria for actual causation are ill-posed in several respects. (1) The methodology of current discussions is by induction from intuitions ab...
TIFS
2010
13 years 2 months ago
2010
Recently developed video editing techniques have enabled us to create realistic synthesized videos. Therefore, using video data as evidence in places such as courts of law requires...
SYNTHESE
2010
13 years 2 months ago
2010
In this paper I outline my conception of the epistemology of science, by reference to my published papers, showing how the ideas presented there fit together. In particular I disc...
SYNTHESE
2010
13 years 2 months ago
2010
This paper explores the ramifications of the extended cognition thesis in the philosophy of mind for contemporary epistemology. In particular, it argues that all theories of knowle...
DATE
2010
IEEE
14 years 19 days ago
2010
IEEE
Abstract—Behavioral synthesis is the compilation of an Electronic system-level (ESL) design into an RTL implementation. We present a suite of optimizations for equivalence checki...