Filetype
We have developed a new approach for implementing precise intraprocedural control-flow and dataflow analyses at the abstract syntax tree level. Our approach is declarative, making use of reference attribute grammars augmented with circular attributes and collection attributes. This results in concise executable specifications of the analyses, allowing extensions both to the language and with furth
Abstract in UndeterminedReference attribute grammars (RAGs) provide a practical declarative means to implement programming language compilers and other tools. RAGs have previously been extended to support both circular attributes and context-dependent declarative rewrites of the abstract syntax tree. In this previous work, dependencies between circular attributes and rewrites are not considered. I
Automated object detection is perhaps the most central task of computer vision and arguably the most difficult one. This paper extends previous work on part-based models by using accurate geometric models both in the learning phase and at detection. In the learning phase manual annotations are used to reduce perspective distortion before learning the part-based models. That training is performed o
The association between marital status and generalized trust in other people was investigated. The public health survey in Skane 2008 is a cross-sectional study including 28,198 persons (55% participation rate) aged 18-80 in southern Sweden. Logistic regression models investigated associations between marital status and trust, adjusting for age, country of birth, education, emotional support, inst
JastAddJ is an extensible Java compiler, implemented using reference attribute grammars. It has been shown previously how the language constructs of Java 5, like generics, could be modularly added to the original JastAddJ compiler that supported Java 1.4. In this paper we discuss our experiences from extending Jast- AddJ to support Java 7. In particular, we discuss how the Try-With-Resources state
In this paper, we study the geometry problems of estimating camera pose with unknown focal length using combination of geometric primitives. We consider points, lines and also rich features such as quivers, i.e. points with one or more directions. We formulate the problems as polynomial systems where the constraints for different primitives are handled in a unified way. We develop efficient polyno
This paper presents a study of the sensor network calibration time-difference-of-arrival (TDOA) measurements. Such calibration arise in several applications such as calibration of (acoustic or ultrasound) microphone arrays, bluetooth arrays, and radio antenna networks. We propose a non-iterative algorithm that apply a three-step stratification process, (i) using a set of rank constraints to determ
In editors for visual languages it is often useful to provide interactive feedback that depends on the static semantics of the edited program. In this paper we demonstrate how such feedback can be implemented using reference attribute grammars. Because the implementation is declarative, it is easy to modularize compiler and editor computations, reusing the compiler's program model in the editor. F
The top layer of a road is made up of a mixture of stones and bitumen and the durability is dependent on how well the bitumen adheres to the stones. The standard way of determining the bitumen coverage in the industry is the so called rolling bottle method, where a number of stones cov- ered with bitumen are put in a rolling bottle and the bitu- men coverage is estimated after different times. Thi
In this paper, we revisit the classical perspective-n-point (PnP) problem, and propose the first non-iterative O(n) solution that is fast, generally applicable and globally optimal. Our basic idea is to formulate the PnP problem into a functional minimization problem and retrieve all its stationary points by using the Gr¨obner basis technique. The novelty lies in a non-unit quaternion representati
The Learning with Errors problem (LWE) has become a central topic in recent cryptographic research. In this paper, we present a new solving algorithm combining important ideas from previous work on improving the BKW algorithm and ideas from sieving in lattices. The new algorithm is analyzed and demonstrates an improved asymptotic performance. For Regev parameters q = n^2 and noise level \sigma = n
Understanding and measuring security of softwarein terms of vulnerability metrics is important when reviewingand deciding between softwares. The large number of disclosedvulnerabilities will continue to expose software intensivesystems and products to attacks, and the choice of thirdparty software will affect stability and reliability of productsincorporating this software. We collect CVE data fro
In recent years, it has been recognized that the seismic wave equation solved with a finite-difference method in time causes a predictable and removable error through the use of so-called time-dispersion transforms. These transforms were thought not to apply to visco-elastic media. However, in this paper we demonstrate that the time-dispersion transforms remain applicable when the visco-elastic wa
Signal apparition is a recent signal processing advance that has numerous applications in seismic data acquisition and processing. In this paper we review the basic principles of signal apparition and discuss applications related to simultaneous source acquisition. We discuss the generalization of the technique to large number of sources and the application in a full 3D configuration enabling larg
Semanticrolelabelinghasbecomeakeymodule for many language processing applications such as question answering, information extraction, sentiment analysis, and machine translation. To build an unrestricted semantic role labeler, the first step is to develop a comprehensive proposition bank. However, creating such a bank is a costly enterprise, which has only been achieved for a handful of languages.
Indoor positioning for smart phone users has received a lot of attention in recent years. While many solutions have been developed, most rely on extra sensors, a need for predeployment of infrastructure or collecting ground truth data to train on. In this paper we see what can be done using only existing WiFi-infrastructure and Received Signal Strength from these, not using any extra sensors or ca
In this paper we study symmetries in polynomial equation systems and how they can be integrated into the action matrix method. The main contribution is a generalization of the partial p-fold symmetry and we provide new theoretical insights as to why these methods work. We show several examples of how to use this symmetry to construct more compact polynomial solvers. As a second contribution we pre
Planar motion is an important and frequently occurring situation in mobile robotics applications. This thesis concerns estimation of ego-motion and pose of a single downwards oriented camera under the assumptions of planar motion and known internal camera parameters. The so called essential matrix (or its uncalibrated counterpart, the fundamental matrix) is frequently used in computer vision appli
