Search
Now showing items 1371-1380 of 1390
Fast, Approximate State Estimation of Concurrent Probabilistic Hybrid Automata
(2013-12-11)
It is an undeniable fact that autonomous systems are simultaneously becoming more common place, more complex, and deployed in more inhospitable environments. Examples include smart homes, smart cars, Mars rovers, unmanned ...
Privacy and Security Risks for National Health Records Systems
(2018-01-24)
A review of national health records (NEHR) systems shows that privacy and security risks have a profound impact on the success of such projects. Countries have different approaches when dealing with privacy and security ...
Energy-efficient Control of a Smart Grid with Sustainable Homes based on Distributing Risk
(2012-01-20)
The goal of this thesis is to develop a distributed control system for a smart grid with sustainable homes. A central challenge is how to enhance energy efficiency in the presence of uncertainty. A major source of uncertainty ...
continuous Relaxation to Over-constrained Temporal Plans
(2013-01-25)
When humans fail to understand the capabilities of an autonomous system or its environmental limitations, they can jeopardize their objectives and the system by asking for unrealistic goals. The objective of this thesis ...
Best-first Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation
(2018-05-24)
With the rise of autonomous systems, there is a need for them to have high levels of robustness and safety. This robustness can be achieved through systems that are self-repairing. Underlying this is the ability to diagnose ...
Learning Models of Sequential Decision-Making without Complete State Specification using Bayesian Nonparametric Inference and Active Querying
(2018-05-17)
Learning models of decision-making behavior during sequential tasks is useful across a variety of applications, including human-machine interaction. In this paper, we present an approach to learning such models within ...
Risk Allocation for Temporal Risk Assessment
(2013-01-31)
Temporal uncertainty arises when performing any activity in the natural world. When activities are composed into temporal plans, then, there is a risk of not meeting the plan requirements. Currently, we do not have ...
Generalization in Deep Learning
(2018-05-01)
With a direct analysis of neural networks, this paper presents a mathematically tight generalization theory to partially address an open problem regarding the generalization of deep learning. Unlike previous bound-based ...
Data and Code for "A New Approach to Animacy Detection"
(2018-06-07)
This archive contains the code and data for the workshop article "A New Approach to Animacy Detection," published in 2018 in the the 27th International Conference on Computational Linguistics (COLING 2018), in Santa Fe, ...
Using Active Learning to Synthesize Models of Applications That Access Databases
(2018-08-28)
We present a new technique that uses active learning to infer models of
applications that manipulate relational databases. This technique
comprises a domain-specific language for modeling applications that
access ...