Sciweavers

5344 search results - page 853 / 1069
» Privacy-Preserving Set Operations
Sort
View
194
Voted
FSTTCS
2010
Springer
15 years 4 months ago
Expressiveness of streaming string transducers
Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and us...
Rajeev Alur, Pavol Cerný
FSTTCS
2010
Springer
15 years 4 months ago
First-Order Logic with Reachability Predicates on Infinite Systems
This paper focuses on first-order logic (FO) extended by reachability predicates such that the expressiveness and hence decidability properties lie between FO and monadic second-o...
Stefan Schulz
ICIP
2010
IEEE
15 years 4 months ago
Dual Range Deringing for non-blind image deconvolution
The popular Richardson-Lucy (RL) image deconvolution algorithm often produces undesirable ringing artifacts. In this paper, we propose a novel Dual Range Deringing (DRD) algorithm...
Le Zou, Howard Zhou, Samuel Cheng, Chuan He
ICRA
2010
IEEE
170views Robotics» more  ICRA 2010»
15 years 4 months ago
Superhuman performance of surgical tasks by robots using iterative learning from human-guided demonstrations
In the future, robotic surgical assistants may assist surgeons by performing specific subtasks such as retraction and suturing to reduce surgeon tedium and reduce the duration of s...
Jur van den Berg, Stephen Miller, Daniel Duckworth...
ICSOC
2010
Springer
15 years 4 months ago
Automatic Fragment Identification in Workflows Based on Sharing Analysis
In Service-Oriented Computing (SOC), fragmentation and merging of workflows are motivated by a number of concerns, among which we can cite design issues, performance, and privacy. ...
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegi...