Search
Skip to Search Results- 2Model Checking
- 2Sensor Networks
- 1Activity Classification
- 1Building Information Modeling
- 1Computer Vision
- 1Formal Methods
-
A Framework for Associating Mobile Devices to Individuals Based on Identification of Motion Events
DownloadFall 2020
The ubiquity of the Internet-of-Things (IoT) devices in everyday life allows various sensors to be utilized in networked systems for solving a number of real-world problems. Models utilizing specific sensing modalities achieve impressive performance in understanding human activity and are used in...
-
Behavioral Verification of Small Networks of State-Machines Built with Arduino-like Processors
DownloadFall 2012
Inexpensive yet versatile limited-capability processors enable computing to be embedded in many kinds of devices and situations. Most applications are simple purpose-programmed reactive systems that interact with the environment through sensors and actuators. Because the processors are limited...
-
Fall 2019
Building Information Modeling (BIM) has become an integral part of the design process, as all building data is accessible in a digital representation and can be viewed in a 3D environment prior to construction. This supports the capability of evaluating or checking a model against building codes...