Sciweavers

114 search results - page 15 / 23
» Implementing Propagators for Tabular Constraints
Sort
View
ICIP
2009
IEEE
14 years 9 months ago
Real Time Stereo Vision Using Exponential Step Cost Aggregation On Gpu
In this paper, we propose a local cost aggregation approach for real time stereo vision on a graphics processing unit (GPU). Recent research shows that local approaches based on c...
AGP
2003
IEEE
14 years 1 months ago
Interpreting Abduction in CLP
Constraint Logic Programming (CLP) and Abductive Logic Programming (ALP) share the important concept of conditional answer. We exploit their deep similarities to implement an effic...
Marco Gavanelli, Evelina Lamma, Paola Mello, Miche...
ICCAD
2005
IEEE
100views Hardware» more  ICCAD 2005»
14 years 4 months ago
Performance-centering optimization for system-level analog design exploration
In this paper we propose a novel analog design optimization methodology to address two key aspects of top-down system-level design: (1) how to optimally compare and select analog ...
Xin Li, Jian Wang, Lawrence T. Pileggi, Tun-Shih C...
MICCAI
1998
Springer
14 years 2 days ago
Segmentation and Measurement of the Cortex from 3D MR Images
The cortex is the outermost thin layer of gray matter in the brain; geometric measurement of the cortex helps in understanding brain anatomy and function. In the quantitative analy...
Xiaolan Zeng, Lawrence H. Staib, Robert T. Schultz...
CAISE
2004
Springer
13 years 11 months ago
Simple and Minimum-Cost Satisfiability for Goal Models
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a...
Roberto Sebastiani, Paolo Giorgini, John Mylopoulo...