537 search results - page 95 / 108 » A Theory of Inferred Causation |
99
Voted
CHI
2007
ACM
16 years 4 days ago
2007
ACM
The paper describes an approach to modeling the strategic variations in performing secondary tasks while driving. In contrast to previous efforts that are based on simulation of a...
171
click to vote
POPL
2008
ACM
16 years 2 days ago
2008
ACM
When scripts in untyped languages grow into large programs, maintaining them becomes difficult. A lack of types in typical scripting languages means that programmers must (re)disc...
212
click to vote
POPL
2003
ACM
16 years 2 days ago
2003
ACM
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...
111
click to vote
CADE
2005
Springer
16 years 2 days ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
201
click to vote
SIGMOD
2008
ACM
15 years 12 months ago
2008
ACM
A major problem in detecting events in streams of data is that the data can be imprecise (e.g. RFID data). However, current state-ofthe-art event detection systems such as Cayuga ...