Sciweavers

194 search results - page 11 / 39
» Some problems, I care most
Sort
View
QEST
2006
IEEE
15 years 3 months ago
Causality, Responsibility, and Blame: A Structural-Model Approach
This talk will provide an overview of work that I have done with Hana Chockler, Orna Kupferman, and Judea Pearl [1, 2, 10, 9] on defining notions such as causality, explanation, ...
Joseph Y. Halpern
TEI
2012
ACM
331views Hardware» more  TEI 2012»
13 years 5 months ago
Body-centric interaction with mobile devices
Most current mobile technologies require on-screen operations for interacting with devices’ visual contents. However, as a trade-off for mobility, screens usually provide limite...
Xiang 'Anthony' Chen
CORR
2010
Springer
96views Education» more  CORR 2010»
14 years 9 months ago
The theory and calculus of aliasing
A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same obje...
Bertrand Meyer
60
Voted
MSS
2008
IEEE
93views Hardware» more  MSS 2008»
14 years 9 months ago
Deriving weights from general pairwise comparison matrices
The problem of deriving weights from pairwise comparison matrices has been treated extensively in the literature. Most of the results are devoted to the case when the matrix under...
Nikolai V. Hovanov, James W. Kolari, Mikhail V. So...
DAGSTUHL
2004
14 years 11 months ago
Finding Isolated Cliques by Queries -- An Approach to Fault Diagnosis with Many Faults
A well-studied problem in fault diagnosis is to identify the set of all good processors in a given set {p1, p2, . . . , pn} of processors via asking some processors pi to test whet...
William I. Gasarch, Frank Stephan