2239 search results - page 244 / 448 » Computing with abstract matrix structures |
153
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Modelling the ligand binding site of a protein is an important component of understanding proteinligand interactions and is being actively studied. Even if the side ch...
140
click to vote
WOLLIC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...
150
click to vote
CISS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract – In this paper, a variational message passing framework is proposed for Markov random fields. Analogous to the traditional belief propagation algorithm, variational mes...
135
Voted
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Many knowledge representation mechanisms consist of linkbased structures; they may be studied formally by means of unordered trees. Here we consider the case where labels...
116
Voted
ISVLSI
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Research in the fields of physics, chemistry and electronics has demonstrated that Quantum-dot Cellular Automata (QCA) is a viable alternative for nano-scale computing...