2940 search results - page 150 / 588 » Relational Parametricity and Control |
133
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper studies the coordinated motion of a group of agents evolving on a Lie group. Left- or rightinvariance with respect to the absolute position on the group lead to two ...
144
click to vote
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—A premier goal of resource allocators in virtualization environments is to control the relative resource consumption of the different virtual machines, and moreover, to ...
129
click to vote
IPMI
2009
Springer
16 years 5 months ago
2009
Springer
We present a novel framework for characterizing signals in images using techniques from computational algebraic topology. This technique is general enough for dealing with noisy mu...
148
click to vote
ISBI
2002
IEEE
16 years 5 months ago
2002
IEEE
We propose a new global registration method for estimating the cardiac displacement field in 2D sequences of ultrasound images of the heart. The basic idea is to select a referenc...
147
click to vote
ISBI
2006
IEEE
16 years 5 months ago
2006
IEEE
We describe a method designed to detect fluorescent rods from 2D microscopy images. It is motivated by the desire to study the dynamics of bacteria such as Shigella. The methodolo...