University of South Australia, Technische Universität Graz Advanced Computing Research Centre Institute for Software Technology 5095 Mawson Lakes SA, Adelaide, Australia 8010 Graz, Inffeldgasse 16b/2, Austria mayer,mst @cs.unisa.edu.au [email protected] Even with modern software development methodologies, the actual debugging of source code, i.e., location and identification of errors in the...

Deadlocks are a common type of concurrency bug. When a deadlock occurs, it is difficult to clearly determine whether there is an actual deadlock or if the application is slow or hanging due to a different reason. It is also difficult to establish the cause of the deadlock. In general, developers deal with deadlocks by using analysis tools, introducing application-specific deadlock detection mec...

An option is a policy fragment that represents a solution to a frequent subproblem encountered in a domain. Options may be treated as temporally extended actions thus allowing us to reuse that solution in solving larger problems. Often, it is hard to find subproblems that are exactly the same. These differences, however small, need to be accounted for in the reused policy. In this paper, the no...

| Extending database-like techniques to semi-structured and Web data sources is becoming a prominent research eld. These data sources are essentially collections of textual documents. Hence, in this context, one of the key tasks consists in wrapping documents to build database abstractions of their content that can be manipulated using high-level tools. However, the degree of heterogeneity and ...

Exceptions are an important feature of modern programming languages, but their compilation has traditionally been viewed as an advanced topic. In this article we show that the basic method of compiling exceptions using stack unwinding can be explained and verified both simply and precisely, using elementary functional programming techniques. In particular, we develop a compiler for a small lang...

A density-based clustering algorithm, called OUTCLUST, is presented. The algorithm exploits a notion of local density in order to find homogeneous groups of objects as opposite to objects mostly deviating from the overall population. The proposed algorithm tries to simultaneously consider several features of real data sets, namely finding clusters of different shapes and densities in high dimen...

We show that in language learning, contrary to received wisdom, keeping exceptional training instances in memory can be beneecial for generalization accuracy. We investigate this phenomenon empirically on a selection of benchmark natural language processing tasks: grapheme-to-phoneme conversion, part-of-speech tagging, prepositional-phrase attachment, and base noun phrase chunking. In a rst ser...

denitrification of high- nitrate high- salinity wastewater is difficult due to plasmolysis and inactivation of denitrifiers at high salinity conditions. in this study, the effects of salinity and empty bed contact time (ebct) on simultaneous heterotrophic and sulfur based autotrophic denitrification of synthetic wastewater were evaluated in an up flow packed bed reactor .the reactor was filled ...