7393 search results - page 1300 / 1479 » Synthesis-for-testability using transformations |
156
click to vote
IVC
2010
15 years 1 months ago
2010
In this paper we propose a Gaussian-kernel-based online kernel density estimation which can be used for applications of online probability density estimation and online learning. ...
141
click to vote
JAPLL
2010
15 years 1 months ago
2010
We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of pr...
105
click to vote
JCT
2010
15 years 1 months ago
2010
We propose a major index statistic on 01-fillings of moon polyominoes which, when specialized to certain shapes, reduces to the major index for permutations and set partitions. W...
124
click to vote
JOT
2010
15 years 1 months ago
2010
Abstract The integration of database and programming languages is difficult due to the different data models and type systems prevalent in each field. We present a solution wher...
129
click to vote
JUCS
2010
15 years 1 months ago
2010
Abstract: Qualitative Spatial Reasoning can be greatly improved if metric information can be represented and reasoning can be performed on it; moreover, modelling vagueness and unc...