Sciweavers

3974 search results - page 515 / 795
» Metric Functional Dependencies
Sort
View
PAMI
2007
214views more  PAMI 2007»
15 years 6 months ago
Tracking Deforming Objects Using Particle Filtering for Geometric Active Contours
—Tracking deforming objects involves estimating the global motion of the object and its local deformations as a function of time. Tracking algorithms using Kalman filters or part...
Yogesh Rathi, Namrata Vaswani, Allen Tannenbaum, A...
PE
2007
Springer
112views Optimization» more  PE 2007»
15 years 6 months ago
Performance bounds for feedforward queueing networks with upper-constrained inputs
We propose a simple framework for analyzing feedforward queueing networks that have the following features: each customer belongs to a (customer) flow and the route that a custom...
S. Shioda
IPL
2010
92views more  IPL 2010»
15 years 5 months ago
Learning parities in the mistake-bound model
We study the problem of learning parity functions that depend on at most k variables (kparities) attribute-efficiently in the mistake-bound model. We design a simple, deterministi...
Harry Buhrman, David García-Soriano, Arie M...
LPAR
2010
Springer
15 years 5 months ago
On Strong Normalization of the Calculus of Constructions with Type-Based Termination
Termination of recursive functions is an important property in proof assistants based on dependent type theories; it implies consistency and decidability of type checking. Type-bas...
Benjamin Grégoire, Jorge Luis Sacchini
MICCAI
2010
Springer
15 years 5 months ago
A Geometry-Based Particle Filtering Approach to White Matter Tractography
Abstract. We introduce a fibre tractography framework based on a particle filter which estimates a local geometrical model of the underlying white matter tract, formulated as a ...
Peter Savadjiev, Yogesh Rathi, James G. Malcolm, M...