Research Publications
All | |
| Narrow your search | 4142 result(s) |
By Type
By Year By Research Group
| Real-time operating systems (RTOSes) are required to run for years without human intervention, and never fail. Safety is a concern when they control physical equipment. One strand of real-time operating system (RTOS) research is looking at the question: ... We present an algorithm to nd optimal routes in a multi-modal public transportation network. Our model takes into account many realistic features such as walking between multi-modal stations, transfer times, trac days, multiple objectives and nding ... In this paper, we study CPU utilization time patterns of several Map-Reduce applications. After extracting running patterns of several applications, the patterns with their statistical information are saved in a reference database to be later used to ... For covariance-based image descriptors, taking into account the curvature of the corresponding feature space has been shown to improve discrimination performance. This is often done through representing the descriptors as points on Riemannian manifolds, ... With the aim of improving the clustering of data (such as image sequences) lying on Grassmann manifolds, we propose to embed the manifolds into Reproducing Kernel Hilbert Spaces. To this end, we define a measure of cluster distortion and embed the ... Project stakeholders can have different perceptions of risks and how they should be mitigated, but these differences are not always well understood and managed. This general issue occurs in Off-the-shelf (OTS)-based custom software development projects, ... In contrast to comparing faces via single exemplars, matching sets of face images increases robustness and discrimination performance. Recent image set matching approaches typically measure similarities between subspaces or manifolds, while representing ... Before low-level imperative code can be reasoned about in an interactive theorem prover, it must first be converted into a logical representation in that theorem prover. Accurate translations of such code should be conservative, choosing safe ... On the Mathematical Relationship between Expected n-call@k and the Relevance vs. Diversity Trade-off It has been previously noted that optimization of the ncall@k relevance objective (i.e., a set-based objective that is 1 if at least n documents in a set of k are relevant, otherwise 0) encourages more result set diversification for smaller n, but ... Introduction. We discuss three initiatives from the NICTA eHealth Business Team towards developing ICT techniques for improving healthcare via: 1. capturing more clinical data; 2. converting them to processable information; 3. recording this as ... |