Sciweavers

6293 search results - page 375 / 1259
» Information Flow Testing
Sort
View
CVPR
2003
IEEE
1110views Computer Vision» more  CVPR 2003»
16 years 7 months ago
Motion Segmentation with Accurate Boundaries - A Tensor Voting Approach
Producing an accurate motion flow field is very difficult at motion boundaries. We present a novel, noniterative approach for segmentation from image motion, based on two voting p...
Gérard G. Medioni, Mircea Nicolescu
MICCAI
2008
Springer
16 years 6 months ago
Optimized Conformal Parameterization of Cortical Surfaces Using Shape Based Matching of Landmark Curves
Abstract. In this work, we find meaningful parameterizations of cortical surfaces utilizing prior anatomical information in the form of anatomical landmarks (sulci curves) on the s...
Lok Ming Lui, Sheshadri Thiruvenkadam, Yalin Wan...
ICDT
2009
ACM
109views Database» more  ICDT 2009»
16 years 5 months ago
TOP-K projection queries for probabilistic business processes
A Business Process (BP) consists of some business activities undertaken by one or more organizations in pursuit of some business goal. Tools for querying and analyzing BP specific...
Daniel Deutch, Tova Milo
POPL
2007
ACM
16 years 5 months ago
Logic-flow analysis of higher-order programs
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
Matthew Might
MOBIHOC
2006
ACM
16 years 4 months ago
Proportionally fair allocation of end-to-end bandwidth in STDMA wireless networks
We consider the problem of designing distributed mechanisms for joint congestion control and resource allocation in spatial-reuse TDMA wireless networks. The design problem is pos...
Pablo Soldati, Björn Johansson, Mikael Johans...