Sciweavers

3719 search results - page 190 / 744
» order 2010
Sort
View
107
Voted
CORR
2010
Springer
88views Education» more  CORR 2010»
15 years 4 months ago
A fuzzified BRAIN algorithm for learning DNF from incomplete data
Aim of this paper is to address the problem of learning Boolean functions from training data with missing values. We present an extension of the BRAIN algorithm, called U-BRAIN (U...
Salvatore Rampone, Ciro Russo
CORR
2010
Springer
54views Education» more  CORR 2010»
15 years 4 months ago
Polynomial integration on regions defined by a triangle and a conic
We present an efficient solution to the following problem, of relevance in a numerical optimization scheme: calculation of integrals of the type ZZ T {f0} 12 dx dy for quadratic p...
David Sevilla, Daniel Wachsmuth
CORR
2010
Springer
79views Education» more  CORR 2010»
15 years 4 months ago
Variable elimination for building interpreters
In this paper, we build an interpreter by reusing host language functions instead of recoding mechanisms of function application that are already available in the host language (t...
Julien Cohen, Jean-Louis Giavitto, Olivier Michel
CORR
2010
Springer
141views Education» more  CORR 2010»
15 years 4 months ago
The complexity of linear-time temporal logic over the class of ordinals
We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic by Kamp's theore...
Stéphane Demri, Alexander Rabinovich
CORR
2010
Springer
112views Education» more  CORR 2010»
15 years 4 months ago
Transdichotomous Results in Computational Geometry, II: Offline Search
We reexamine fundamental problems from computational geometry in the word RAM model, where input coordinates are integers that fit in a machine word. We develop a new algorithm fo...
Timothy M. Chan, Mihai Patrascu