Sciweavers

1619 search results - page 25 / 324
» Structure in the Space of Value Functions
Sort
View
BMCBI
2005
118views more  BMCBI 2005»
13 years 8 months ago
Variation in structural location and amino acid conservation of functional sites in protein domain families
Background: The functional sites of a protein present important information for determining its cellular function and are fundamental in drug design. Accordingly, accurate methods...
Birgit Pils, Richard R. Copley, Jörg Schultz
CORR
2011
Springer
160views Education» more  CORR 2011»
13 years 6 days ago
Searching for Bayesian Network Structures in the Space of Restricted Acyclic Partially Directed Graphs
Although many algorithms have been designed to construct Bayesian network structures using different approaches and principles, they all employ only two methods: those based on i...
Silvia Acid, Luis M. de Campos
CP
2009
Springer
14 years 9 months ago
Coalition Structure Generation Utilizing Compact Characteristic Function Representations
This paper presents a new way of formalizing the Coalition Structure Generation problem (CSG), so that we can apply constraint optimization techniques to it. Forming effective coal...
Naoki Ohta, Vincent Conitzer, Ryo Ichimura, Yuko S...
AI
2000
Springer
13 years 8 months ago
Belief functions and default reasoning
We present a new approach to dealing with default information based on the theory of belief functions. Our semantic structures, inspired by Adams' -semantics, are epsilon-beli...
Salem Benferhat, Alessandro Saffiotti, Philippe Sm...
ASPDAC
2007
ACM
158views Hardware» more  ASPDAC 2007»
14 years 13 days ago
Symbolic Model Checking of Analog/Mixed-Signal Circuits
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
David Walter, Scott Little, Nicholas Seegmiller, C...