Browsing Theses by Subject "completeness"
Now showing items 1-2 of 2
-
Design of a Recommender System for Participatory Media Built on a Tetherless Communication Infrastructure
(University of Waterloo, 2008-09-18)We address the challenge of providing low-cost, universal access of useful information to people in different parts of the globe. We achieve this by following two strategies. First, we focus on the delivery of information ... -
Robustly Complete Temporal Logic Control Synthesis for Nonlinear Systems
(University of Waterloo, 2019-12-18)Modern systems such as spacecrafts and autonomous vehicles are complex yet safety-critical, and therefore the control methods that can deal with different dynamics and constraints while being provably correct are sought ...