The wealth of information generated by users interacting with the network and its applications is often underutilized due to complications in accessing heterogeneous and dynamic data and in retrieving relevant information from sources having possibly unknown formats and structures. Processing complex requests on such information sources is, thus, costly, though not guaranteeing user satisfactio...

In this project, we investigate new approaches to personalize web search result pages for users using anonymized search logs with scant data per user. We investigate modelling users into groups and personalize the user’s SERP based on the response of the users’ ‘peers’ towards the documents in the SERP. For evaluation, we compare our personalization strategy against the popular ranking strategy...

Multi-objective probabilistic model checking provides a way to verify several, possibly conflicting, quantitative properties of a stochastic system. It has useful applications in controller synthesis and compositional probabilistic verification. However, existing methods are based on linear programming, which limits the scale of systems that can be analysed and makes verification of time-bounde...

Prior work presented the sentence tracker, a method for scoring how well a sentence describes a video clip or alternatively how well a video clip depicts a sentence. We present an improved method for optimizing the same cost function employed by this prior work, reducing the space complexity from exponential in the sentence length to polynomial, as well as producing a qualitatively identical re...

Recently, variational methods have become increasingly more popular for perspective shape from shading due to their robustness under noise and missing information. So far, however, due to the strong nonlinearity of the data term, existing numerical schemes for minimising the corresponding energy functionals were restricted to simple explicit schemes that require thousands or even millions of it...

Genetic algorithms (GAs) are multi-dimensional, blind heuristic search methods that involve complex interactions among parameters (such as population size, number of generations, GA operators and operator probabilities). The question whether the quality of results obtained by GAs depend upon the values given to these parameters, is a matter of research interest. This work studies the problem of...

Das Internet ist eine wesentliche Informationsquelle, die das Entscheidungsverhalten von Menschen in einem hohen Maße mitbestimmt. Suchmaschinen machen das Auffinden dieser entscheidungsrelevanten Informationen häufig erst möglich und nehmen somit eine Schlüsselposition ein. Suchmaschinen treten jedoch nicht nur als UniversalSuchmaschinen auf, sondern auch in Form von Produktsuchmaschinen oder ...

the quality of results obtained by the query, can be substantially improved by using various lexical resources. Thus, for example, morphological dictionaries enable morphological expansion of queries, which is very important in highly inflective languages, such as Serbian. This paper discusses issues related to improvement of queries using a rule based procedure implemented in WS4LR, a workstat...

The implementation of computational systems to perform challenging operations often involves balancing the performance specification, system throughput, and available system resources. For problems of automatic target recognition (ATR), these three quantities of interest are the probability of classification error, the rate at which regions of interest are processed, and the capabilities of the...