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»
13 years 7 days 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