427 search results - page 53 / 86 » Inductive reasoning about effectful data types |
KDD
2005
ACM
14 years 8 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...
IDT
2008
13 years 7 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...
PLDI
2003
ACM
14 years 24 days 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
13 years 2 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...
JMLR
2010
13 years 2 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...