Browsing Division of Electrical, Electronics, and Computer Science (EECS) by Title
Now showing items 712-731 of 1262
-
Methods for Text Segmentation from Scene Images
(2017-09-27)Recognition of text from camera-captured scene/born-digital images help in the development of aids for the blind, unmanned navigation systems and spam filters. However, text in such images is not confined to any page layout, ... -
Microengineered Force Sensors and Haptic Feedback System for Catheter Contact Force
Minimally Invasive Surgery (MIS) pursues the highest attention in various medical procedures globally because of the reduced complicated process compared with traditional surgery, short postprocedural convalescence, and ... -
Minimization Problems Based On A Parametric Family Of Relative Entropies
(2017-08-21)We study minimization problems with respect to a one-parameter family of generalized relative entropies. These relative entropies, which we call relative -entropies (denoted I (P; Q)), arise as redundancies under mismatched ... -
MIST : Mlgrate The Storage Too
(2017-05-25)We address the problem of migration of local storage of desktop users to remote sites. Assuming a network connection is maintained between the source and destination after the migration makes it possible for us to transfer ... -
An MLIR-Based High-Level Synthesis Compiler for Hardware Accelerator Design
The emergence of machine learning, image and audio processing on edge devices has motivated research towards power-efficient custom hardware accelerators. Though FPGAs are an ideal target for custom accelerators, the ... -
Model Checking Temporal Properties of Presburger Counter Systems
Counter systems are a well-known and powerful modeling notation for specifying infnite state systems. In this thesis we target the problem of checking temporal properties of counter systems. We address three predominant ... -
Model Extraction and Active Learning
Machine learning models are increasingly being offered as a service by big companies such as Google, Microsoft and Amazon. They use Machine Learning as a Service (MLaaS) to expose these machine learning models to the ... -
Model Extraction Defense using Modified Variational Autoencoder
Machine Learning as a Service (MLaaS) exposes machine learning (ML) models that are trained on confidential datasets to users in the form of an Application Programming Interface (API). Since the MLaaS models are deployed ... -
Model-based Safe Deep Reinforcement Learning and Empirical Analysis of Safety via Attribution
During initial iterations of training in most Reinforcement Learning (RL) algorithms, agents perform a significant number of random exploratory steps, which in the real-world limit the practicality of these algorithms ... -
Model-Checking in Presburger Counter Systems using Accelerations
(2018-04-18)Model checking is a powerful technique for analyzing reach ability and temporal properties of finite state systems. Model-checking finite state systems has been well-studied and there are well known efficient algorithms ... -
Model-Checking Infinite-State Systems For Information Flow Security Properties
(2017-02-16)Information flow properties are away of specifying security properties of systems ,dating back to the work of Goguen and Meseguer in the eighties. In this framework ,a system is modeled as having high-level (or confidential)events ... -
Modeling and Adaptive Scheduling Strategies for Distributed Graph Algorithms
Graph processing at scales of millions-billions of vertices and edges has become common to solve real-world problems in domains like social networks, smart cities and genomics. Distributed "Big Data" platforms for graph ... -
Modeling and Analysis of Grid Connected Variable Speed Wind Generators
(2018-08-13)The growing demand for power and increased environmental concerns gave an impetus to the growth of clean and renewable energy sources like wind, solar etc. There is a remarkable increase in the penetration of wind energy ... -
Modeling And Design Of A Solar Hybrid Desalination System With Pressure Modulation
(2010-08-30)Shortage of drinking water in most parts of the world has been a growing concern in recent times. The situation has been getting worse in underdeveloped and developing countries due to sudden explosion in population growth ... -
Modeling and verification of database-accessing applications
Databases are central to the functioning of most IT-enabled processes and services. In many domains, databases are accessed and updated via applications written in general-purpose lan- guages, as such applications need ... -
Modeling Of Dust Loaded Electrical Characteristics And Collection Efficiency Of Industrial Electrostatic Precipitators
(2010-12-08)With the increase in population and industrial growth, the need for power has increased manifold. A major share of India’s power generation is coal-based generation. Thermal power generation through coal combustion produces ... -
Modeling of Lightning Attachment to Aircraft and a Novel Methodology to Quantify Strike Rate
Air transport plays a vital role in global economic growth and long-distance commutation. The aviation industry is found to double its fleet size every fifteen years. According to Air Transport Action Group (ATAG), 45 ...