Sciweavers

1897 search results - page 317 / 380
» Conditional Linear Planning
Sort
View
89
Voted
IJAR
2008
78views more  IJAR 2008»
15 years 22 days ago
A survey of the theory of coherent lower previsions
This paper presents a summary of Peter Walley's theory of coherent lower previsions. We introduce three representations of coherent assessments: coherent lower and upper prev...
Enrique Miranda
121
Voted
IJAR
2006
98views more  IJAR 2006»
15 years 21 days ago
Inference in hybrid Bayesian networks with mixtures of truncated exponentials
Mixtures of truncated exponentials (MTE) potentials are an alternative to discretization for solving hybrid Bayesian networks. Any probability density function can be approximated...
Barry R. Cobb, Prakash P. Shenoy
123
Voted
IJCSA
2006
95views more  IJCSA 2006»
15 years 21 days ago
Modeling and Formal Verification of DHCP Using SPIN
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
Syed M. S. Islam, Mohammed H. Sqalli, Sohel Khan
95
Voted
COMPUTING
2007
126views more  COMPUTING 2007»
15 years 21 days ago
An algorithm for the construction of intrinsic delaunay triangulations with applications to digital geometry processing
The discrete Laplace-Beltrami operator plays a prominent role in many Digital Geometry Processing applications ranging from denoising to parameterization, editing, and physical si...
Matthew Fisher, Boris Springborn, Peter Schrö...
CORR
2007
Springer
167views Education» more  CORR 2007»
15 years 21 days ago
Optimal Solutions for Sparse Principal Component Analysis
Given a sample covariance matrix, we examine the problem of maximizing the variance explained by a linear combination of the input variables while constraining the number of nonze...
Alexandre d'Aspremont, Francis R. Bach, Laurent El...