Sciweavers

229 search results - page 1 / 46
» Bilateral Algorithms for Symbolic Abstraction
Sort
View
75
Voted
SAS
2012
Springer
210views Formal Methods» more  SAS 2012»
13 years 1 days ago
Bilateral Algorithms for Symbolic Abstraction
Aditya V. Thakur, Matt Elder, Thomas W. Reps
TIP
2002
169views more  TIP 2002»
14 years 9 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
70
Voted
TACAS
2004
Springer
130views Algorithms» more  TACAS 2004»
15 years 3 months ago
Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases
Kairong Qian, Albert Nymeyer
59
Voted
TACAS
2004
Springer
114views Algorithms» more  TACAS 2004»
15 years 3 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»
14 years 4 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