Sciweavers

3863 search results - page 291 / 773
» Function in Device Representation
Sort
View
CL
2000
Springer
15 years 10 months ago
Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking
Boolean circuits offer a natural, structured, and compact representation of Boolean functions for many application domains. In this paper a tableau method for solving satisfiabilit...
Tommi A. Junttila, Ilkka Niemelä
DAGSTUHL
2007
15 years 8 months ago
Advances in pre-processing and model generation for mass spectrometric data analysis
Abstract. The analysis of complex signals as obtained by mass spectrometric measurements is complicated and needs an appropriate representation of the data. Thereby the kind of pre...
Frank-Michael Schleif
BMVC
2000
15 years 8 months ago
A Statistical Consistency Check for the Space Carving Algorithm
This paper investigates the use of the Space Carving algorithm with outdoor image sequences, using a lambertian lighting model. A new consistency function is proposed that uses a ...
Adrian Broadhurst, Roberto Cipolla
CAGD
2006
73views more  CAGD 2006»
15 years 6 months ago
Rational surfaces with linear normals and their convolutions with rational surfaces
It is shown that polynomial (or rational) parametric surfaces with a linear field of normal vectors are dual to graphs bivariate polynomials (or rational functions). We discuss th...
Maria Lucia Sampoli, Martin Peternell, Bert Jü...
CORR
2002
Springer
100views Education» more  CORR 2002»
15 years 6 months ago
A neural model for multi-expert architectures
We present a generalization of conventional artificial neural networks that allows for a functional equivalence to multi-expert systems. The new model provides an architectural fr...
Marc Toussaint