Sciweavers

3670 search results - page 414 / 734
» Linear Recursive Functions
Sort
View
ICIP
2005
IEEE
16 years 8 months ago
An articulated registration method
This paper introduces a new registration method estimating the displacement field of bodies which deformations are constrained by an articulated rigid body. We propose an articula...
Aloys du Bois d'Aische, Mathieu De Craene, Beno&ic...
MICCAI
2007
Springer
16 years 7 months ago
Effectiveness of the Finite Impulse Response Model in Content-Based fMRI Image Retrieval
The thresholded t-map produced by the General Linear Model (GLM) gives an effective summary of activation patterns in functional brain images and is widely used for feature selecti...
Bing Bai, Paul B. Kantor, Ali Shokoufandeh
ICCAD
2003
IEEE
140views Hardware» more  ICCAD 2003»
16 years 3 months ago
Block-based Static Timing Analysis with Uncertainty
Static timing analysis is a critical step in design of any digital integrated circuit. Technology and design trends have led to significant increase in environmental and process v...
Anirudh Devgan, Chandramouli V. Kashyap
DATE
2009
IEEE
122views Hardware» more  DATE 2009»
16 years 1 months ago
A MILP-based approach to path sensitization of embedded software
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...
José C. Costa, José C. Monteiro
COCOA
2007
Springer
16 years 27 days ago
On Threshold BDDs and the Optimal Variable Ordering Problem
Abstract. Many combinatorial optimization problems can be formulated as 0/1 integer programs (0/1 IPs). The investigation of the structure of these problems raises the following ta...
Markus Behle