Conventional methods used for the interpretation of activation data provided by functional neuroimaging techniques provide useful insights on what the networks of cerebral structu...
Data analysis applications typically aggregate data across many dimensions looking for anomalies or unusual patterns. The SQL aggregate functions and the GROUP BY operator produce ...
Jim Gray, Surajit Chaudhuri, Adam Bosworth, Andrew...
The fragmentation of knowledge management (KM) as a field and as an area of research poses serious theoretical challenges for researchers. The viability of KM rests on how the com...
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
In supplement to an earlier paper, we present an altered cost functional for the computation of an edge-preserving optical flow that is invariant to rotation. In addition, we expl...
Christopher V. Alvino, Allen Tannenbaum, Anthony J...