Sciweavers

4616 search results - page 503 / 924
» Extreme Components Analysis
Sort
View
174
Voted
NIPS
2001
15 years 8 months ago
TAP Gibbs Free Energy, Belief Propagation and Sparsity
The adaptive TAP Gibbs free energy for a general densely connected probabilistic model with quadratic interactions and arbritary single site constraints is derived. We show how a ...
Lehel Csató, Manfred Opper, Ole Winther
SIS
2004
15 years 8 months ago
Towards a Systematic Development of Secure Systems
In this paper we outline a new process model for security engineering. This process model extends object oriented, use case driven software development by the systematic treatment ...
Ruth Breu, Klaus Burger, Michael Hafner, Gerhard P...
IJCAI
2003
15 years 8 months ago
Comparing image-based localization methods
This paper compares alternative approaches to pose estimation using visual cues from the environment. We examine approaches that derive pose estimates from global image properties...
Robert Sim, Gregory Dudek
IWFM
1998
113views Formal Methods» more  IWFM 1998»
15 years 8 months ago
A Use Case Interpretation of B AMN
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
Richard Shore
NIPS
1998
15 years 8 months ago
Learning a Continuous Hidden Variable Model for Binary Data
A directed generative model for binary data using a small number of hidden continuous units is investigated. A clipping nonlinearity distinguishes the model from conventional prin...
Daniel D. Lee, Haim Sompolinsky