Sciweavers

1652 search results - page 134 / 331
» Integration in Real PCF
Sort
View
DSS
2008
116views more  DSS 2008»
15 years 4 months ago
GRAnD: A goal-oriented approach to requirement analysis in data warehouses
Several surveys indicate that a significant percentage of data warehouses fail to meet business objectives or are outright failures. One of the reasons for this is that requiremen...
Paolo Giorgini, Stefano Rizzi, Maddalena Garzetti
162
Voted
PAMI
2006
215views more  PAMI 2006»
15 years 4 months ago
Bayesian Feature and Model Selection for Gaussian Mixture Models
We present a Bayesian method for mixture model training that simultaneously treats the feature selection and the model selection problem. The method is based on the integration of ...
Constantinos Constantinopoulos, Michalis K. Titsia...
MR
2002
63views Robotics» more  MR 2002»
15 years 4 months ago
Transient thermal analysis of multilayered structures using Green's functions
This paper presents an approach to the analysis of transient thermal states in electronic circuits using an analytical solution of the heat equation. Fully three-dimensional analy...
Marcin Janicki, Gilbert De Mey, Andrzej Napieralsk...
CASC
2010
Springer
151views Mathematics» more  CASC 2010»
15 years 3 months ago
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
Winfried Neun, Thomas Sturm, Stefan Vigerske
126
Voted
FOSSACS
2009
Springer
15 years 11 months ago
Synthesis from Component Libraries
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
Yoad Lustig, Moshe Y. Vardi