Constraint-based type inference infers types with subtyping constraints. Such types can capture detailed data and control flow information about the analyzed program. In the presence of polymorphism, existing constraint-based type inference algorithms sacrifice much precision for efficiency. This paper presents both theoretical and practical results on developing precise and efficient polymorph...

One key challenge in statistical relational learning (SRL) is scalable inference. Unfortunately, most realworld problems in SRL have expressive models that translate into large grounded networks, representing a bottleneck for any inference method and weakening its scalability. In this paper we introduce Preference Relaxation (PR), a two-stage strategy that uses the determinism present in the un...

Magnetorheological (MR) dampers have the advantage of being tuned by low voltages. This has attracted many researchers to develop semi-active control of structures in theory and practice. Most of the control strategies first obtain the desired forces of dampers without taking their dynamics into consideration and then determine the input voltages according to those forces. As a result, these st...

Abstract Background Heritability is a central measure in genetics quantifying how much of the variability observed trait attributable to genetic differences. Existing methods for estimating heritability are most often based on random-effect models, typically computational reasons. The alternative using fixed-effect model has received more limited attention literature. Results In this paper, we ...

An incremental learning strategy for handwritten character recognition is proposed in this paper. The strategy is online and fast, in the sense that any new character class can be instantly learned by the system. The proposed strategy aims at overcoming the problem of lack of training data when introducing a new character class. Synthetic handwritten characters generation is used for this purpo...

A comparative study on performance in terms of transient time response specifications for position control of a separately excited DC Servomotor using Fuzzy logic control on PD strategy and general PD control strategy is done. Fuzzy Logic Controller (FLC) based on PD strategy is designed for both the inference mechanismsMamdani type and Takagi-Sugeno type. Robustness test for both the controlle...

Through the use of conditional compilation and related tools, many software projects can be used to generate a huge number of related programs. The problem of typing such variational software is very difficult. The brute-force strategy of generating all variants and typing each one individually is (1) usually infeasible for efficiency reasons and (2) produces results that do not map well to the...

We propose a deep learning strategy for scene parsing, i.e. to asssign a class label to each pixel of an image. We investigate the use of deep convolutional network for modeling the complex scene label structures, relying on a supervised greedy learning strategy. Compared to standard approaches based on CRFs, our strategy does not need hand-crafted features, allows modeling more complex spatial...