We modeled a shirt by printing a number of markers over it and recording the positions of these distinguishable markers. We implemented a computer-vision based system that tracked visible markers on the shirt, and reconstructed the shirt using the world coordinate of each marker. Furthermore, we created a realistic physics-based simulation that accurately models the real world, including gravity, self collision, rigid body motion and so on, to generate instructions to PR2 by taking the configuration of a shirt as input and work out a sequence of actions to take based on existing algorithms.

关键词：计算机视觉可见；物理模拟；标记系统；服装

查看摘要 索取原文[24页]

The matrix powers kernel, used in communication-avoiding Krylov subspace methods, requires runtime auto-tuning for best performance. We demonstrate how the SEJITS (Selective Embedded Just-In-Time Specialization) approach can be used to deliver a high-performance and performance-portable implementation of the matrix powers kernel to application authors, while separating their high-level concerns from those of auto-tuner implementers involving low-level optimizations. The benefits of delivering this kernel in the form of a specializer, rather than a traditional library, are discussed. Performance of the matrix powers kernel specializer is evaluated in the context of a communication-avoiding conjugate gradient (CA-CG) solver, which compares favorably to traditional CG.

关键词：矩阵力量内核；选择性嵌入式即时专业化方法（SEJITS）；自动调谐器

查看摘要 索取原文[16页]

This thesis demonstratesthe role of structured codes in several network and MIMO settings. In MIMO channels,structured codes can be used to improve receiver design.By using lattice codes in the physical layer and networkcodes in the network layer, the proposed scheme achieves the optimal distortion to within aconstant factor. Finally, structured codes can be used to e?ciently transmit channel state information when global channel state information is absent in networks.

关键词：MIMO；网络应用程序；结构化代码

查看摘要 索取原文[164页]

Creating high-quality  tasks   today requires significant expertise,  which prevents novice users from receiving reasonable results without iterating multiple times over their description.Although expert tasks still perform comparably better, we show that novice users can receive higher quality results when being supported by a guided task specification interface.

关键词：众包平台；质量

查看摘要 索取原文[37页]

For a complementary similarity analysis approach, we propose DStruct, a tool for detecting similar Android applications based on their directory structures. DStruct provides another method for performing similarity analysis to address problems in Android security, including determining if applications are pirated or contain instances of known malware.

关键词：安卓应用程序；相似度检测；安全

查看摘要 索取原文[32页]

The growth of smartphone technology in today’s society has paved way for a myriad of consumer applications that target various aspects of our lives. One such area lies withinthe health and wellness category and relates to our dietary and eating habits. However,the percentage of downloaded applications in the health category is dominated by thosein the gaming category on both markets from Android and Apple. Thus, in conjunction with the health start-up Blue Goji as an industry partner, this project proposes a solution through the introduction of crowdsourcing and social elements into the mealjournal process in order to increase user retention. Existing smartphone applications targeting this sector are investigated and their benefits and shortcomings are analyzedin order to in to aid in developing a new application that will engage more users intracking their eating habits for the purposes of improving their health. Through feedback from user study groups, changes to the application are made to align itwith the customer’s true needs and the application concept is evolved through multipleiterations. Finally, future improvements and suggestions for alternative ideas are proposed with regards to the final prototype produced for the project.

关键词：饮食习惯；应用程序；智能手机

查看摘要 索取原文[23页]

Geo-tags provide an essential support for organizing and retrieving therapidly growing online video contents captured by users and shared online.Videos present an unique opportunity for automatic geo-tagging as theycombine multiple information sources, i.e., textual metadata, visual and au-dio cues.

关键词：多通道；自动化；地理标签；元数据

查看摘要 索取原文[57页]

Our algorithm applies morphological operations and template matching with a Gaussian kernelto identify TB-object candidates.Our object-evel classi cation is highly accurate, with Average Precision of 89:2%  2:1%. For slide-levelclassi cation, our algorithm performs at the level of human readers, demonstrating the potential for making a signi cant impact on global healthcare.

关键词：荧光图像；肺结核；诊断；医疗器械

查看摘要 索取原文[53页]

Although  image  cropping  requires minimal  physical manipulation,  the decisions  users  must  make  in  order  to  complete  the  manipulation  is  complex. Understanding the pattern (if any exists) of these decisions is an important prerequisite to automated  cropping  that  has  been  overlooked  by  current  cropping  algorithms.

关键词：图像裁剪；众包数据；裁剪算法

查看摘要 索取原文[27页]

Cyber-Physical Systems (CPS) are integrations of computation with physical processes. These systems must be equipped to handle the inherent concurrency and inexorable passage of time of physical processes. Traditional computing abstractions only concern themselves with the functional aspects of a program, and not its timing properties.In this work, we address the difficulties of handling time in computing systems by reexamining the lower levels of abstraction. In particular, we focus on the instruction set architecture (ISA) layer and its affects on microarchitecture design. The ISA defines the contract between software instructions and hardware implementations. Modern ISAs do not constrain timing properties of instructions as part of the contract. Thus, architecture designs have largely implemented techniques that improve average performance at the expense of execution time variability. This leads to imprecise WCET bounds that limit the timing predictability and timing composability of architectures.

关键词：精密定时；定时设计；电子物理系统（CPS）；ISA；硬件；软件

查看摘要 索取原文[129页]