Sciweavers

229 search results - page 1 / 46
» Bilateral Algorithms for Symbolic Abstraction
Sort
View
SAS
2012
Springer
210views Formal Methods» more  SAS 2012»
11 years 7 months ago
Bilateral Algorithms for Symbolic Abstraction
Aditya V. Thakur, Matt Elder, Thomas W. Reps
TIP
2002
169views more  TIP 2002»
13 years 4 months ago
On the origin of the bilateral filter and ways to improve it
Abstract--Additive noise removal from a given signal is an important problem in signal processing. Among the most appealing aspects of this field are the ability to refer it to a w...
Michael Elad
TACAS
2004
Springer
114views Algorithms» more  TACAS 2004»
13 years 10 months ago
Symbolically Computing Most-Precise Abstract Operations for Shape Analysis
Greta Yorsh, Thomas W. Reps, Shmuel Sagiv
CDC
2010
IEEE
336views Control Systems» more  CDC 2010»
12 years 11 months ago
An application of IMPACT structure to bilateral teleoperations
Abstract-- Time-delays typically cause stability and performance problems in teleoperation systems. As a remedy for such problems in position-error based bilateral teleoperations, ...
Alper Denasi, Dragan Kostic, Henk Nijmeijer