Search
Search Results
-
An efficient approach for image de-fencing based on conditional generative adversarial network
Automated image de-fencing is an important area of computer vision that deals with the problem of virtually removing fence structures, if any, from...
-
A robust and efficient image de-fencing approach using conditional generative adversarial networks
Image de-fencing is one of the most important aspects of recreational photography in which the objective is to remove the fence texture present in an...
-
Kmclib: Automated Inference and Verification of Session Types from OCaml Programs
Theories and tools based on multiparty session types offer correctness guarantees for concurrent programs that communicate using message-passing....
-
Semi-supervised Learning to Remove Fences from a Single Image
When taking photos in the outdoors, e.g., playgrounds, gardens and zoos, fences are often inevitable to interfere with the perception of the...
-
Contestations in urban mobility: rights, risks, and responsibilities for Urban AI
Cities today are dynamic urban ecosystems with evolving physical, socio-cultural, and technological infrastructures. Many contestations arise from...
-
Amplify Supplements
Amplify is not just limited to these core features which we have discussed in previous chapters – there are also a number of supplementary services...
-
Integrated animal monitoring system with animal detection and classification capabilities: a review on image modality, techniques, applications, and challenges
The continuous monitoring of animals is crucial for the well-being of both humans and animals. A comprehensive animal monitoring system must...
-
Aspects of Industrial Applications of Collaborative Robots
In the automotive industry robots are widely used in the entire range of the production. In most cases, the isolation of the robots from human...
-
SAP S/4HANA on Google Cloud – Concepts and Architecture
Google launched the Google Cloud Platform with the first service called App Engine in preview in April 2008. Two years later, Google Cloud Storage...
-
Removing fences from sweep motion videos using global 3D reconstruction and fence-aware light field rendering
Diminishing the appearance of a fence in an image is a challenging research area due to the characteristics of fences (thinness, lack of texture,...
-
Demystifying the challenges and benefits of analyzing user-reported logs in bug reports
Logs in bug reports provide important debugging information for developers. During the debugging process, developers need to study the bug report and...
-
Automated Modular Verification for Relaxed Communication Protocols
Ensuring software correctness and safety for communication-centric programs is important but challenging. In this paper we introduce a solution for...
-
Theses on the Future Design of Human-Robot Collaboration
For the future design of Human-Robot Collaboration (HRC), further developments in a multitude of disciplines and research areas are required. In this...
-
Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains
Asynchronous message-passing systems are employed frequently to implement distributed mechanisms, protocols, and processes. This paper addresses the...
-
A Security Evaluation of Industrial Radio Remote Controllers
Heavy industrial machinery is a primary asset for the operation of key sectors such as construction, manufacturing, and logistics. Targeted attacks...
-
A comprehensive study of automatic video summarization techniques
Video summarization deals with the generation of a condensed version of the original video by including meaningful frames or segments while...
-
The Digital Underground Economy
It could be suggested that the dangers we have encountered so far were relatively harmless. But now we dive deep into the underground and find the...
-
Deep Learning Based Fence Segmentation and Removal from an Image Using a Video Sequence
Conventional approaches to image de-fencing use multiple adjacent frames for segmentation of fences in the reference image and are limited to...
-
Debugging Concurrent Software: Advances and Challenges
Concurrency debugging is an extremely important yet challenging problem that has been hampering developer productivity and software reliability in...
-
Provisioning Smart City Infrastructure
Realizing IoT Cloud systems in practice is a challenging endeavor, especially when it comes to provisioning large-scale systems with highly...