Sciweavers

243 search results - page 29 / 49
» How to Solve It Automatically: Selection Among Problem Solvi...
Sort
View
CAV
2010
Springer
190views Hardware» more  CAV 2010»
13 years 10 months ago
Measuring and Synthesizing Systems in Probabilistic Environments
Often one has a preference order among the different systems that satisfy a given specification. Under a probabilistic assumption about the possible inputs, such a preference order...
Krishnendu Chatterjee, Thomas A. Henzinger, Barbar...
BMCBI
2010
125views more  BMCBI 2010»
13 years 7 months ago
Large-scale prediction of protein-protein interactions from structures
Background: The prediction of protein-protein interactions is an important step toward the elucidation of protein functions and the understanding of the molecular mechanisms insid...
Martial Hue, Michael Riffle, Jean-Philippe Vert, W...
CGF
2010
82views more  CGF 2010»
13 years 7 months ago
Poisson-Based Weight Reduction of Animated Meshes
While animation using barycentric coordinates or other automatic weight assignment methods has become a popular method for shape deformation, the global nature of the weights limi...
Eric Landreneau, Scott Schaefer
SIGMOD
2012
ACM
222views Database» more  SIGMOD 2012»
11 years 10 months ago
Tiresias: a demonstration of how-to queries
In this demo, we will present Tiresias, the first how-to query engine. How-to queries represent fundamental data analysis questions of the form: “How should the input change in...
Alexandra Meliou, Yisong Song, Dan Suciu
PRL
2000
182views more  PRL 2000»
13 years 7 months ago
Bayesian MLP neural networks for image analysis
We demonstrate the advantages of using Bayesian multi layer perceptron (MLP) neural networks for image analysis. The Bayesian approach provides consistent way to do inference by c...
Aki Vehtari, Jouko Lampinen