Sciweavers

6039 search results - page 157 / 1208
» The Function Space of an Activity
Sort
View
ISBI
2008
IEEE
14 years 9 months ago
Triangulating cortical functional networks with anatomical landmarks
Defining precisely the position of active regions obtained from functional neuroimaging studies is challenging due to the functional and anatomical variability across subjects. Tr...
Alan Tucholka, Bertrand Thirion, Philippe Pinel, J...
ICFP
2008
ACM
14 years 8 months ago
Type checking with open type functions
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...
Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T...
DATE
2003
IEEE
84views Hardware» more  DATE 2003»
14 years 1 months ago
Dynamic Functional Unit Assignment for Low Power
A hardware method for functional unit assignment is presented, based on the principle that a functional unit’s power consumption is approximated by the switching activity of its...
Steve Haga, Natasha Reeves, Rajeev Barua, Diana Ma...
MOR
2002
60views more  MOR 2002»
13 years 7 months ago
Properties of the Log-Barrier Function on Degenerate Nonlinear Programs
We examine the sequence of local minimizers of the log-barrier function for a nonlinear program near a solution at which second-order sufficient conditions and the Mangasarian-From...
Stephen J. Wright, Dominique Orban
ICIP
2008
IEEE
14 years 10 months ago
TAC: Thresholding active contours
In this paper, we describe a region-based active contour technique to perform image segmentation. We propose an energy functional that realizes an explicit trade-off between the (...
Samuel Dambreville, Anthony J. Yezzi, Shawn Lankto...