427 search results - page 53 / 86 » Inductive reasoning about effectful data types |
120
click to vote
KDD
2005
ACM
16 years 3 months ago
2005
ACM
In this paper, we present a general framework to discover spatial associations and spatio-temporal episodes for scientific datasets. In contrast to previous work in this area, fea...
125
click to vote
IDT
2008
15 years 3 months ago
2008
: Many defense, homeland security, and commercial security objectives require continuous tracking of mobile entities such as aircraft. The systems that perform these functions prod...
195
click to vote
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
JOCN
2011
14 years 10 months ago
2011
■ In Stroop-like tasks, conflict effects in behavioral measures and ACC activity are smaller on trials following an incongruent trial than following a congruent one. Researchers...
125
click to vote
JMLR
2010
14 years 9 months ago
2010
: This review presents empirical researchers with recent advances in causal inference, and stresses the paradigmatic shifts that must be undertaken in moving from traditional stati...