Research Publications

 
Search | Show all
All
2010
Narrow your search
« 1 2 3 4 5 ... 7 8 »

Results per Page 10 25 50 100 250
724 result(s)
By Type
By Year
By Research Group
Farshid Hajati, Abolghasem A. Raie, Yongsheng Gao
Numerous methods have been proposed for the expression-invariant 3D face recognition, but a little attention is given to the local-based representation for the texture of the 3D images. In this paper, we propose an expression-invariant 3D face recognition...
2010 Digital Image Computing: Techniques and Applications - December 2010
Yiran Xie, Nianjun Liu, Sheng Liu
The paper is to propose a framework to qualitatively and quantitatively evaluate five of state-of-the-art over-segment approaches. Moreover upon over-segments evaluation, an efficient approach is developed for dense stereo matching through robust ...
Digital Image Computing Techniques and Applications (DICTA) - December 2010
Liam O'Brien, James Gibson, Jon Gray
Many organizations are introducing Service Oriented Architecture (SOA) as part of their business transformation projects to take advantage of the proposed benefits associated with using SOA. However, in many cases organizations don’t necessarily know on ...
Asia Pacific Software Engineering Conference - November 2010
While much-hyped, cloud computing offers early adopters potentially significant benefits. However, important barriers to adoption have also been identified. This paper canvasses and discusses the ‘state of play’ of cloud computing risks. The paper reviews...
Asia Pacific Software Engineering Conference (APSEC 2010) Cloud Workshop - November 2010
The L4.verified project has produced a formal, machine-checked Isabelle/HOL proof that the C code of the seL4 OS microkernel correctly implements its abstract implementation. This paper briefly summarises the proof, its main implications and ...
Eighth Asian Symposium on Programming Languages and Systems (APLAS 2010) - November 2010
Runtime adaptation refers to the ability of a software system changing the functionality during runtime based on the operating environment. Such runtime adaptability is one of the desired quality attributes in today’s business process systems, which need ...
ACM/IFIP/USENIX 11th International Middleware Conference 2010 - Posters and Demos Track - December 2010
Karl M. Goeschka, Schahram Dustdar, Frank Leymann, Helen (Hye-young) Paik, Vladimir Tosic, Lorenz Froihofer
This is the 5th Middleware for Service Oriented Computing (SOC) workshop, organized annually at the ACM/IFIP/USENIX International Middleware Conference. Each received research paper submission was peer-reviewed (with blinded author data) by five members ...
- November 2010
Vladimir Tosic
Unfortunately, it is not completely clear what is "cloud computing" and what is not "cloud computing". A straightforward definition says that cloud computing technologies enable provisioning of computing infrastructure (e.g., memory storage), platforms (...
Discussion Session at the 5th Workshop on Middleware for Service Oriented Computing - November 2010
Richard Medland
In November 2009 the researcher embarked on a project aimed at reducing the amount of paper used by Queensland University of Technology (QUT) staff in their daily workplace activities. The key goal was to communicate to staff that excessive printing has a...
OzCHI-2010 - November 2010
Natalie Ruiz, Ronnie Taib, Fang Chen
High cognitive load induced by complex, time-pressured tasks have been found to impact performance and multimodal behaviour. Monitoring specific interaction features can potentially detect cognitive load fluctuations. In this paper, we present a study ...
Cognitive Load Conference (CLT'10) - November 2010
Novi Quadrianto, Wray Buntine
Linear Regression is an instance of the Regression problem which is an approach to modelling a functional relationship between input variables x and an output/response variable y. In linear regression, a linear function of the input variables is used,...
Encyclopedia of Machine Learning - December 2010
Novi Quadrianto, Wray Buntine
Regression is a fundamental problem in statistics and machine learning. In regression studies, we are typically interested in inferring a real-valued function (called a regression function) whose values correspond to the mean of a dependent (or ...
Encyclopedia of Machine Learning - December 2010
Kelvin Cheng, Christian Mueller-Tomfelde, Natalie Ruiz
The focus of digital tabletop research centers on the interactive display area. However, these displays are often integrated into a physical non-interactive structure, which have received little attention previously. In this paper, we investigate the ...
2010 annual conference of the Computer-Human Interaction Special Interest Group of the HFESA (OZCHI2010) - November 2010
Mirco Gelain, Maria Pini, Francesca Rossi, Brent Venable, Toby Walsh
The stable marriage problem has a wide variety of practical applications, including matching resident doctors to hospitals, and students to schools. In the classical stable marriage problem, both men and women express a strict order over the members of ...
International Workshop on Collaborative Agents -- REsearch and Development (CARE) 2009/2010 - November 2010
The two most important concepts used in Bayesian modelling are probability and utility. Probabilities are used to model our belief about the state of the world and utilities are used to model the value to us of different outcomes, thus to model costs ...
Encyclopedia of Machine Learning - December 2010
Xinhua Zhang
The covariance between two univariate random variables measures how much they change together, and as a special case, the covariance of a random vari- able with itself is exactly its variance. It is important to note that covariance is an unnormalized ...
Encyclopedia of Machine Learning - December 2010
Xinhua Zhang
Kernel methods refer to a class of techniques that employ positive definite kernels. At an algorithmic level, its basic idea is quite intuitive: implicitly map objects to high dimensional feature spaces, and then directly specify the inner product ...
Encyclopedia of Machine Learning - December 2010
Consider a wireless sensor network with i.i.d. sen- sors following a homogeneous Poisson distribution in a given area A in R2. A sensor located at x2 ∈ A is directly connected to a sensor located at x1 ∈ A with probability g (x2 − x1), independent of any ...
IEEE Communication Letters - 11 2010
Yue (Tina) Yu
The network has become essential to our daily life, with the increase of dependence, challenges to the normal operation of the network bear ever more severe consequences. The challenges include malicious attacks, misconfigurations, faults, and operational...
International workshop on DSRC 2010(in conjunction with QShine2010) - November 2010
Jeff Li
Wireless vehicular networks operating on the dedicated short-range communications (DSRC) frequency bands are the key enabling technologies for the emerging market of intelligent transport system (ITS). The wireless access in vehicular environments (...
7th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness - November 2010
In this paper an extended Defeasible Logic framework is presented to do the representation and reasoning work for the normative-based contract management. A simple case based on FIDIC is followed as the usage example. This paper is based on...
Fourth International Workshop on Juris-informatics (JURISIN 2010) - November 18-19 2010
Ansgar Fehnker, Ralf Huuck, Andreas Vogelsang, Wolfgang Reif
Software metrics play an important role in the management of professional software projects. Metrics are used, e.g., to track development progress, to measure restructuring impact and to estimate code quality. They are most beneficial if they can be ...
International Conference on Formal Engineering Methods - October 2010
Malcolm Crompton, Robin McKenzie
The need to create trust and security in the digital world is currently a preoccupation of governments and private sector organisations globally. The digital world and the internet in particular were built on the assumption that using the internet was ...
32ND International Conference of Data Protection and Privacy Commissioners – “Privacy: Generations” - October 2010
Anita Vuckovic, Andrew Neal, Penelope Sanderson, William Wong, Stephen Gaukrodger
The growing demand for air travel in recent years has seen the development of new tools to help air traffic controllers manage their workload and continue to meet safety and performance standards [1]. However, studies have shown that these new tools do ...
5th International Conference on Human Computer Interaction in Aerospace: HCI Aero 2010 - November 2010
There is an abundant literature on face detection due to its important role in many vision applications. Since Viola and Jones proposed the first real-time AdaBoost based face detector, Haar like features have been adopted as the method of choice for ...
The Tenth Asian Conference on Computer Vision - November 2010
We introduce NICTA telemedicine research report and focus on successful + not-successful business models, and the way in which the businesses engage with consumers + some anecdotes of consumer behavior.
Australian Telecommunication Users Group, Sydney - November 2010
Hai-Ning Liang, Rob Evans, Stan Skafidas
Lecture Notes in Engineering and Computer Science - November 2010
Tim Baldwin, SuNam Kim
Handbook of Natural Language Processing - November 2010
SuNam Kim, Tim Baldwin
Journal of Language Resources and Evaluation - November 2010
Adam Kowalczyk, Justin Bedo, Tom Conway, B. Beresford-Smith
Lecture Notes In Computer Science - November 2010
Noel Faux, CW Ritchie, A. Gunn, A. Rembach, A. Tsatsanis, Justin Bedo, J. Harrison, L. Lannfelt, K. Blennow, H. Zetterberg, M. Ingelsson, CL Masters, R.E. Tanzi, JL Cummings, CM Herd, AI Bush
Journal of Alzheimer's Desease - November 2010
Jun Zhao, David Hill, Tao Liu
This paper presents a framework for global synchronization of dynamical networks with nonidentical nodes. Several criteria for synchronization are given using free matrices for both cases of synchronizing to a common equilibrium solution of all ...
IEEE Transactions on Circuits and Systems - November 2010
This paper examines the relationship between iso-disparity contours in stereo disparity space and planar surfaces in the scene. We specify constraints that may be exploited to group iso-disparity contours belonging to the same planar surface, and ...
Asian Conference on Computer Vision - November 2010
Abd-Krim Seghouane
A new algorithm for Maximum likelihood blind image restoration is presented in this paper. It is obtained by modeling the original image and the additive noise as multivariate Gaussian processes with unknown covariance matrices. The blurring process ...
2010 IEEE International Conference on Image Processing - September 2010
Abd-Krim Seghouane, Ju Lynn Ong
A fundamental question in functional MRI (fMRI) data analysis is to declare pixels either activated or non-activated with respect to the experimental design. A new statistical test for detecting activated pixels in fMRI data is proposed. The test is ...
2010 IEEE International Conference on Image Processing (ICIP) - September 2010
Abd-Krim Seghouane, Ju Lynn Ong
Computed tomographic colonography (CTC) is a promising alternative to traditional invasive colonoscopic methods used in the detection and removal of cancerous growths, or polyps in the colon. Existing algorithms for CTC typically use a classifier to ...
2010 IEEE International Conference on Image Processing (ICIP) - September 2010
Abd-Krim Seghouane, Ju Lynn Ong
Existing polyp detection methods rely heavily on curvature-based characteristics to differentiate between lesions. However, as curvature is a local feature and a second order differential quantity, simply inspecting the curvature at a point is not ...
2010 IEEE International Conference on Image Processing - September 2010
Following a systematic review of over 200 case studies, we found seven key technology enablers, and seven barriers to uptake of tele-health. Of the barriers, regulatory (ie billing problems, jurisdictional, cost/beneficiary mismatch and other legal or ...
Global Telehealth - November 2010
Presentation slides for Global Telehealth, Perth. Talk presented: November 10, 2010.
Global Telehealth, Perth - November 2010
Tao Liu, Jun Zhao, David Hill
Abstract—This paper studies the local and global exponential synchronization of a complex dynamical network with switching topology and time-varying coupling delays. By using stability theory of switched systems and the network topology, the ...
IEEE Transactions on Circuits and Systems - November 2010
Vladimir Tosic, Rasangi Pumudu Karunaratne, Qinghua Lu
Specification of monitored context properties and their influence on operation of service-oriented systems and on management activities is a prerequisite for context-sensitive operation. We researched context specification for a management system ...
Service Intelligence and Service Science: Evolutionary Technologies and Challenges - November 2010
Sherif Sakr, Hooran MahmoudiNasab
The Resource Description Framework (RDF) is a flexible model for representing information about resources in the web. With the increasing amount of RDF data which is becoming available, ecient and scalable management of RDF data has become a fundamental...
he 11th International Conference on Web Information Systems Engineering - November 2010
Sherif Sakr, Ahmed Awad, Mattias Kunze, Mattias Weske
During business process design, working procedures in organizations are represented by process models. It is an important task in any process improvement project, but also both time consuming and error prone. While many organizations maintain large ...
Hasso-Plattner-Institute, University of Potsdam, Germany - November 2010
Jie Xu, Getian Ye, Yang Wang, Wei Wang, Jun Yang
Probabilistic Latent Semantic Analysis (pLSA) is one of latent topic modeling approaches and has been successfully applied for scene recognition. The learning process employed in conventional pLSA is batch learning and hence it may not be feasible ...
Asian Conference on Computer Vision - November 2010
Jie Xu, Yang Wang, Wei Wang, Jun Yang, Zhidong Li
Generalized Hough Transform-based methods have been successfully applied to the object detection, especially to the task of pedestrian detection. Such methods rely on the class-specific codebooks to cast probabilistic votes for pedestrian hypotheses. ...
Asian Conference on Computer Vision - November 2010
Jun Yang, Yang Wang, Arcot Sowmya, Jie Xu, Zhidong Li, Matt (Bang) Zhang
In this paper, we propose STAP (Spatial-Temporal Affinity Propagation), an extension of the Affinity Propagation algorithm for feature points clustering, by incorporating temporal consistency of the clustering configurations between consecutive frames. By...
Asian Conference on Computer Vision - November 2010
Sandra Mau, Shaokang Chen, Conrad Sanderson, Brian Lovell
One of the major challenges in real-world video-based face recognition is balancing computational efficiency with recognition accuracy. A significant design decision for any such system is whether to process and use all possible faces detected over the ...
International Conference of Image and Vision Computing New Zealand - November 2010
Despite their presence in almost all real-world navigational environments, finding stereo disparity in large, weakly textured regions is a difficult task. In this paper, we present a method which constructs a novel segmentation of an image into separate ...
25th International Conference of Image and Vision Computing New Zealand(IVCNZ2010) - November 2010
This paper presents the results of an independent evaluation of four different commercial wireless mesh network systems using IEEE 802.11 radios in the context of small-scale, rapid deployment scenarios in public safety and emergency applications. To ...
Fourth IEEE International Workshop on Enabling Technologies and Standards for Wireless Mesh Networking - November 2010
Zhihui Hao, Chunhua Shen, Nick Barnes,
We proffer totally-corrective multi-class boosting algorithms in this work. First, we discuss the methods that extend two-class boosting to multi-class classification by studying two existing boosting algorithms: AdaBoost.MO and SAMME. Based on the cost ...
The 10th Asian Conference on Computer Vision (ACCV2010) - November 2010
Peng Wang, Chunhua Shen, Nick Barnes, Hong Zheng, Zhang Ren
Real-time object detection is one of the core problems in computer vision. The cascade boosting framework proposed by Viola and Jones has become the standard for this problem. In this framework, the learning goal for each node is asymmetric, which ...
The 10th Asian Conference on Computer Vision - November 2010
Ke Jia, Nianjun Liu, Lei Wang, Li Cheng
Support Vector Regression (SVR) has been a long standing problem in machine learning, and gains its popularity on various computer vision tasks. %attracted much attention in recent years.In this paper, we propose a structured support vector regression ...
Asian Conference on Computer Vision - November 2010
Zhenning Shi, Mark Reed, Ming Zhao, Jackson Wang
In this paper, a two-tier UMTS network is considered where a large number of randomly deployed Wideband Code Division Multiple Access (WCDMA) femtocells are laid under macrocells where the spectrum is shared. The co-channel interference between the cells ...
Asilomar Conference on Signals, Systems, and Computers - November 2010
This article provides a brief overview of generalization bounds in statistical learning theory. It will appear as an entry in the forthcoming Encyclopaedia of Machine Learning.
Encyclopedia of Machine Learning - November 2010
Matt Thompson, Jason Tangen, Renee Treloar, Kathleen J. Ivison
Television shows like ‘CSI’ can give the impression that matching crime-scene fingerprints is fully automated. But it is actually humans (fingerprint experts) who ultimately decide whether a crime-scene print belongs to a suspect or not. Despite this fact...
Annual Meeting of the Human Factors and Ergonomics Society - September 2010
Matt Thompson, Jason Tangen, Duncan McCarthy, Morgan Tear
Optimal decision making in forensics and policing relies on humans and technology. But it is unclear how experts interface with technology to make their decisions. Our approach in determining how best to implement new technology and procedures is to ...
20th International Symposium on the Forensic Sciences of the Australian and New Zealand Forensic Science Society (ANZFSS) - September 2010
Qi Guo, AV. Tran, Thomas Chae
2010 IEEE Photonics Society Annual Meeting - November 2010
Kelvin Layton, M. Moreland, Peter Farrell, Bill Moran, LA. Johnston
4th Australian Workshop on Computational Neuroscience, Brisbane Australia. - November 2010
Tania Kameneva, Hamish Meffin, Anthony Burkitt
4th Australian Workshop on Computational Neuroscience, Brisbane Australia. - November 2010
Hamish Meffin, B. Tayahori, Tania Kameneva, David Grayden, Anthony Burkitt
4th Australian Workshop on Computational Neuroscience, Brisbane Australia. - November 2010
Jessica Mewing, Tania Kameneva, Hamish Meffin, Anthony Burkitt
4th Australian Workshop on Computational Neuroscience, Brisbane Australia. - November 2010
ADH. Peterson, Iven Mareels, Hamish Meffin, David Grayden, MJ Cook, Anthony Burkitt
4th Australian Workshop on Computational Neuroscience, Brisbane Australia. - November 2010
Martin Spencer, IC. Bruce, David Grayden, Hamish Meffin, Anthony Burkitt
4th Australian Workshop on Computational Neuroscience, Brisbane Australia. - November 2010
LA. Johnston, SC. Kolbe, D. Wright, J. Gu, Gary Egan
4th Australian Workshop on Computational Neuroscience, Brisbane Australia. - November 2010
L. Johnston
Mental Health Research Institute Annual Meeting. - November 2010
Ke (Desmond) Wang, Thas Nirmalathas, C. Lim, Stan Skafidas
EEE Photonics Society 23rd Annual meeting. - November 2010
australasian Telecommunications Networks and Applications - November 2010
This paper focuses on modelling sensor placement for traffic monitoring using vision based sensors. A significant problem with using such sensors is that vehicles can be merged in an amorphous group making detection difficult. Sensor placement has a ...
3rd ACM SIGSPATIAL International Workshop on Computational Transportation Science - November 2010
Tung Mai Le, Chen Cai
We applied the log function of the queues into Approximate Dynamic Programming to build a better single-intersection traffic light controller. We then use a distributed network of this controller to control multiple intersection. The simulated results on ...
3rd ACM SIGSPATIAL International Workshop on Computational Transportation Science - November 2010
This paper presents a preliminary study on controlling traffic signals using information collected via vehicle-to-infrastructure (V2I) communication. The key idea is to use vehicle speed and position as state variable, and construct a state-space ...
3rd ACM SIGSPATIAL International Workshop on Computational Transportation Science - November 2010
Tung Mai Le, Chen Cai
We applied the log function of the queues into Approximate Dynamic Programming to build a better single-intersection traffic light controller. We then use a distributed network of this controller to control multiple intersection. The simulated results on a ...
3rd ACM SIGSPATIAL International Workshop on Computational Transportation Science - November 2010
Vladimir Tosic
The existing IT (information technology) system management solutions are predominantly focused on optimization of technical QoS metrics (e.g., response time, availability). However, financial (e.g., profit) and other business value metrics (e.g., customer...
CREATE-NET, Uni. of Rome 'Tor Vergata', Tech. Uni. of Vienna, Uni. of Stuttgart, Uni. of Newcastle (Aus.), Monash Uni., Swinburne Uni. of Tech., NICTA, HP Labs Bristol, Cardiff Uni., Trinity College Dublin, Institute of Software Chinese Academy of Science - August 2008 - November 2010 (several seminars at different institutions, with some updates) 2010
This paper introduces a novel antipodal-epipolar constraint on relative camera motion. By using antipodal points, which are available in large Field-of-View cameras, the translational and rotational motions of a camera are geometrically decoupled, ...
IEEE Transactions on Pattern Analysis and Machine Intelligence - October 2010
Sherif Sakr, Ghazi Al-Naymat
Graphs are widely used for modeling complicated data such as social networks, chemical compounds, protein interactions and semantic web. To e®ectively understand and utilize any collection of graphs, a graph database that efficiently supports elementary ...
Journal of Computer Science and Technology (JCST) - October 2010
David Martinez, Tim Baldwin
This paper describes a method for detecting event trigger words in biomedical text based on a word sense disambiguation (WSD) approach. We first investigate the applicability of existing WSD techniques to trigger word disambiguation in the BioNLP 2009 ...
ACM Fourth International Workshop on Data and Text Mining in Biomedical Informatics (DTMBIO) - October 2010
Qinghua Lu, Vladimir Tosic
When various technical and business changes related to Web service compositions occur, there is often a need for run-time adaptation with minimal human intervention. While many research projects work on particular types of such adaptation, much more ...
The 7th International Conference on Autonomic and Trusted Computing - Symposia and Workshops - October 2010
Wei Yin, Peizhao Hu, Jadwiga Indulska, Konstanty Bialkowski
The MAC layer protocol in wireless networks dynamically changes its transmission rate to adapt transmission to channel conditions. Such dynamic adaptations can improve per-hop performance in wireless networks and therefore increase the network ...
the 7th international conference on ubiquitous intelligence and computing - October 2010
AIM Given a set of pre-defined medical categories used in Evidence Based Medicine, we attempt to automatically annotate sentences in medical abstracts with these labels. METHOD We construct a corpus of 1,000 medical abstracts annotated by hand with ...
ACM Fourth International Workshop on Data and Text Mining in Biomedical Informatics (DTMBIO) - October 2010
Guido Governatori, Giovanni Sartor
We shall argue that burdens of proof are relevant also to monological reasoning, i.e., for deriving the conclusions of a knowledge-base allowing for conflicting arguments. Reasoning with burdens of proof can provide a useful extension of current ...
The 23rd International Conference on Legal Knowledge and Information Systems - 16-17 December 2010
Monica Palmirani, Guido Governatori, Giuseppe Contissa
Typically legal reasoning involves multiple temporal dimensions. The contribution of this work is to extend LKIF-rules (LKIF is a proposed mark-up language designed for legal documents and legal knowledge in ESTRELLA Project [3]) with temporal dimensions....
The 23rd International Conference on Legal Knowledge and Information Systems - 16-17 December 2010
Glenn Geers, Paul Tyler, Chong-White Christian , Johnson Fraser
Simulations are widely used to judge the efficacy of proposed traffic control system implementations yet the performance of deployed systems with previous simulations is rarely documented. In this paper the simulated performance of a metered roundabout is...
Intelligent Transport Systems and Services World Congress (ITS) 2010 - October 2010
Philip Kilby, Fraser Johnson
The Roads and Traffic Authority of NSW (RTA) and NICTA are engaged in a successful, ongoing research collaboration. RTA continues to develop the SCATS adaptive traffic control system working with NICTA to implement some of the innovations emerging from ...
Intelligent Transport Systems and Services World Congress (ITS) 2010 - October 2010
David Martinez, Tim Baldwin
This paper describes a method for detecting event trigger words in biomedical text based on a word sense disambiguation (WSD) approach. We first investigate the applicability of existing WSD techniques to trigger word disambiguation in the BioNLP 2009 ...
ACM Fourth International Workshop on Data and Text Mining in Biomedical Informatics (DTMBIO) - October 2010
Pengyi Yang, Bing Bing Zhou, Joshua Ho, Albert Zomaya
Background: It has been increasingly clear that gene-gene interactions and gene-environment interactions are ubiquitous and fundamental for complex diseases characterization. Despite the considerable effort in developing statistical models and ...
BMC Bioinformatics - October 2010
Guo Chen, Zhao Yang Dong, David Hill, Yu Sheng Xue
Recently, game theory has been used to design optimized strategies for defending an electric power system against deliberate attacks. In this paper, we extend the current static model to a more generalized framework which includes several interaction ...
IEEE Transactions on Power Systems - October 2010
Shanika Kuruppu
STRING PROCESSING AND INFORMATION RETRIEVAL (SPIRE2010) - October 2010
Kalliopi Kravari, Grammati-Eirini Kastori, Nick Bassiliades, Guido Governatori
The Semantic Web aims at automating Web content understanding and user request satisfaction. Intelligent agents assist towards this by performing complex actions on behalf of their users into real-life applications, such as e-Contracts, which make ...
The 24th International Conference on Legal Knowledge and Information Systems - October 2010
Guido Governatori, Francesco Olivieri, Simone Scannapieco, Matteo Cristani
We propose a systematic investigation on how to modify a preference relation in a defeasible logic theory to change the conclusions of the theory itself. We argue that the approach we adopt is applicable to legal reasoning, where users, in general, ...
The 24th International Conference on Legal Knowledge and Information Systems - October 2010
Guido Governatori, Antonino Rotolo
We investigate the concept of norm compliance in business process modeling. In particular we propose an extension of Formal Contract Logic (FCL), a combination of defeasible logic and a logic of violation, with a richer deontic language capable of ...
The 24th International Conference on Legal Knowledge and Information Systems - October 2010
In this paper we present the well founded variants of ambiguity blocking and ambiguity propagating defeasible logics. We also show how to extend SPINdle, a state of the art, defeasible logic implementation to handle all such variants of defeasible ...
The 24th International Conference on Legal Knowledge and Information Systems - October 2010
Aqueo Kamada, Guido Governatori, Shazia Sadiq
The main source of changing requirements of the dynamic business environment is response to changes in regulations and contracts towards which businesses are obligated to comply. At the same time, many organizations have their business processes specified...
The 24th International Conference on Legal Knowledge and Information Systems - October 2010
Bela Stantic, Paolo Terenziani, Abdul Sattar, Alessio Bottrighi, Guido Governatori
Temporal information plays a crucial role in medicine, so that in Medical Informatics there is an increasing awareness that suitable database approaches are needed to store and support it. Specifically, a great amount of clinical data (e.g....
MEDINFO 2010. Proceedings of the 13th World Congress on Medical Informatics - September 2010
Aqueo Kamada, Guido Governatori, Shazia Sadiq
We propose an IDE – Integrated Development Environment to model SBVR (Semantic of Business Vocabulary and Business Rule) compliant business rules [2] extracted from business contract of services and store them in an ontological structure of...
International WebRule Symposium:Research Based and Industry Focused (RuleML) Challenge - October 2010
In this report we provide an overview of the open source Armadillo C++ linear algebra library (matrix maths). The library aims to have a good balance between speed and ease of use, and is useful if C++ is the language of choice (due to speed and/or ...
NICTA - October 2010
Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser
Faulty device drivers are a major source of operating system failures. We argue that the underlying cause of many driver faults is the separation of two highly-related tasks: device verification and driver development. These two tasks have a lot in ...
Workshop on Hot Topics in System Dependability - October 2010
SW. Lee, I. Peterman, John Markham, PF. Markham, AH Noormohammadi, GF. Browning, N. Ficorilli, C. Hartley, JM. Devlin
5th International Workshop on the Molecular Pathogenesis of Marek's Disease Virus, combined with the 1st Symposium on Avian Herpesviruses - October 2010
Etienne Le Sueur, Gernot Heiser
Dynamic voltage and frequency scaling (DVFS) is a commonly-used power-management technique where the clock frequency of a processor is decreased to allow a corresponding reduction in the supply voltage. This reduces power consumption, which can lead to ...
HotPower - October 2010
Jens Kohl, Andreas Bauer
With distributed functions taking over more and more safety-relevant functions in modern cars, their possible faulty behaviour has to be detected and dangerous effects to be prevented or mitigated. Additionally, information about the fault's root cause...
International Workshop on the Principles of Diagnosis (DX 10) - October 2010
Xuan Vinh Nguyen, L. Epps, James Bailey
Journal of Machine Learning Research - October 2010
Rebecca Dridan, Tim Baldwin
2010 Conference on Empirical Methods in Natural Language Processing (EMNLP 2010) - October 2010