Type

Database

Creator

Date

Thumbnail

Search results

You search for from and 2,183,908 records were found.

Synthesis is the automatic construction of a system from its specification. In classical synthesis algorithms, it is always assumed that the system is ``constructed from scratch'' rather than composed from reusable components. This, of course, rarely happens in real life, where almost every non-trivial commercial software system relies heavily on using libraries of reusable components. Furthermore, other contexts, such as web-service orchestration, can be modeled as synthesis of a system from a library of components. In contrast to classical synthesis, synthesis from components aims to build the desired system using components from a given library. In this dissertation, we consider the problem of control-flow synthesis from libraries of probabilistic components. We develop an automata-theoretic approach to solve the problem, investiga...
Our guest Prof. Julia Kubanek from the School of Biology and the School of Chemistry and Biochemistry at Georgia Tech will discuss how pharmaceutical agents can be extracted from marine organisims.
Two projects are documented within this MEM Report: I. The first project examined what was learnt involving the critical infrastructure in the aftermath of natural disasters in the Canterbury region of New Zealand – the most prominent being the series of earthquakes between 2010 and 2011. The project identified several learning gaps, leading to recommendations for further investigations that could add significant value for the lifeline infrastructure community. II. Following the Lifeline Lesson Learnt Project, the Disaster Mitigation Guideline series was initiated with two booklets, one on Emergency Potable Water and a second on Emergency Sanitation. The key message from both projects is that we can and must learn from disasters. The projects described are part of the emergency management, and critical infrastructure learni...
The paper describes and formalizes the concepts and assumptions involved in Learning from Demonstration (LFD), a common learning technique used in robotics. Inspired by the work on planning and actuation by LaValle, common LFD-related concepts like goal, generalization, and repetition are here defined, analyzed, and put into context. Robot behaviors are described in terms of trajectories through information spaces and learning is formulated as the mappings between some of these spaces. Finally, behavior primitives are introduced as one example of useful bias in the learning process, dividing the learning process into the three stages of behavior segmentation, behavior recognition, and behavior coordination.
Prints from the collection Foreword by Richard Jones An exhibition organized by the Art Exhibitions Committee of the University of Tasmania
We present a method for animating 3D models of animals from existing live video sequences such as wild life documentaries. Videos are first segmented into binary images on which Principal Component Analysis (PCA) is applied. The time-varying coordinates of the images in the PCA space are then used to generate 3D animation. This is done through interpolation with Radial Basis Functions (RBF) of 3D pose examples associated with a small set of key-images extracted from the video. In addition to this processing pipeline, our main contributions are: an automatic method for selecting the best set of key-images for which the designer will need to provide 3D pose examples. This method saves user time and effort since there is no more need for manual selection within the video and then trials and errors in the choice of key-images and 3D pose e...
Photograph of Peppys From Heaven cutting a calf in an indoor arena at the 1990 National Cutting Horse Association Futurity event in Fort Worth, Texas.
Art from Elsewhere II Catalogue of exhibition held at Fine arts gallery University of Tasmania 31 August - 19 September, 1990 Featuring Rick Amor Terry Batt Jan Davis Patrick Henigan Karen Rhodes Wilma Tabacco
While the area of face recognition has been extensively studied in recent years, it remains a largely open problem, despite what movie and television studios would leave you to believe. Frontal, still face recognition research has seen a lot of success in recent years from any different researchers. However,the accuracy of such systems can be greatly diminished in cases such as increasing the variability of the database,occluding the face, and varying the illumination of the face. Further varying the pose of the face (yaw, pitch, and roll) and the face expression (smile, frown, etc.) adds even more complexity to the face recognition task, such as in the case of face recognition from video. In a more realistic video surveillance setting, a face recognition system should be robust to scale, pose, resolution, and occlusion as well as s...
In this paper we consider diffusions on the half line (0, ∞) such that the expectation of the arrival time at the origin is uniformly bounded in the initial point. This implies that there is a well defined diffusion process starting from infinity, which takes finite values at positive times. We study the behaviour of hitting times of large barriers and in a dual way, the behaviour of the process starting at infinity for small time. In particular we prove that the process coming down from infinity is in small time governed by a specific deterministic function. Suitably normalized fluctuations of the hitting times are asymptotically Gaussian. We also derive the tail of the distribution of the hitting time of the origin and a Yaglom limit for the diffusion starting from infinity. We finally prove that the distribution of this process kill...