8555 search results - page 1513 / 1711 » Property Based Coordination |
126
Voted
TCS
2010
15 years 4 months ago
2010
We define a program semantics that is preserved by dependence-based slicing algorithms. It is a natural extension, to non-terminating programs, of the semantics introduced by Wei...
181
click to vote
TIP
2010
15 years 4 months ago
2010
Abstract— Our main goal in this paper is to set the foundations of a general continuous-domain framework for designing steerable, reversible signal transformations (a.k.a. frames...
161
Voted
TMI
2010
15 years 4 months ago
2010
—We show that electrical impedance tomography (EIT) image reconstruction algorithms with regularization based on the Total Variation (TV) functional are suitable for in vivo imag...
171
click to vote
TROB
2010
15 years 4 months ago
2010
Abstract—This paper presents a new methodology for the analysis and control of internal forces and center-of-mass (CoM) behavior, which are produced during multicontact interacti...
198
Voted
TVCG
2010
15 years 4 months ago
2010
—Illustrative techniques are generally applied to produce stylized renderings. Various illustrative styles have been applied to volumetric data sets, producing clearer images and...